- Amsterdam
Highlights
- Pro
Block or Report
Block or report lrpereira
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
The distributed 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
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…
An awesome README template to jumpstart your projects!
DuckDB is an analytical in-process SQL database management system
Resources for learning Category Theory for an enthusiast
Linux command-line client for ProtonVPN. Written in Python.
🍉 Dotfiles that marry elegance and practicality.
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 http:https://mo…
An Emacs configuration bundle with batteries included
Linear Algebra of Programming - Algebraic Matrices in Haskell
Improved Lecture Notes in Computer Science (LNCS) template
A community driven list of useful Emacs packages, libraries and other items.
An interpreter for learning and exploring pure λ-calculus
An implementation of the Formality language in JavaScript