LCOV

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

The financial transactions database designed for mission critical safety and performance.

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Simple-Stupid user-space program doing "kill -STOP" and "kill -CONT" to protect from thrashing

A massively parallel, optimal functional runtime in Rust

Bitcoin Core integration/staging tree

Black-box transactional safety checker based on cycle detection

This is the official mirror of the MonetDB Mercurial repository. Please note that we do not accept pull requests on github. The regression test results can be found on the MonetDB Testweb https://w…

The Rust Programming Language

An awesome README template to jumpstart your projects!

DuckDB is an analytical in-process SQL database management system

Preprocessor for transpose queries

An Open-Source Database System

Implementation of Relational Matrix Algebra in MonetDB

Resources for learning Category Theory for an enthusiast

Linux command-line client for ProtonVPN. Written in Python.

🍉 Dotfiles that marry elegance and practicality.

An Emacs configuration bundle with batteries included

Emacs config files

Linear Algebra of Programming - Algebraic Matrices in Haskell

HotCRP conference review software

Config files for mixer

Improved Lecture Notes in Computer Science (LNCS) template

A community driven list of useful Emacs packages, libraries and other items.

A modern proof language

An interpreter for learning and exploring pure λ-calculus

An implementation of the Formality language in JavaScript