lrpereira

lrpereira's Stars

• linux-test-project/lcov

  LCOV

  Language:Perl901241

• ziglang/zig

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

  Language:Zig34.4k2.5k

• tigerbeetle/tigerbeetle

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

  Language:Zig10.2k502

• iovisor/bcc

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

  Language:C20.4k3.9k

• tobixen/thrash-protect

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

  Language:Python16221

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k397

• bitcoin/bitcoin

  Bitcoin Core integration/staging tree

  Language:C++78.9k36.3k

• jepsen-io/elle

  Black-box transactional safety checker based on cycle detection

  Language:Isabelle64034

• MonetDB/MonetDB

  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://www.monetdb.org/testweb/web/status.php .For contributions please see: https://www.monetdb.org/documentation/dev-guide/

  Language:C37555

• rust-lang/book

  The Rust Programming Language

  Language:Rust15.1k3.4k

• othneildrew/Best-README-Template

  An awesome README template to jumpstart your projects!

  14.1k22.9k

• duckdb/duckdb

  DuckDB is an analytical in-process SQL database management system

  Language:C++23.5k1.9k

• alfunx/monetdb-tra-preprocessor

  Preprocessor for transpose queries

  Language:C++1

• alfunx/MonetDB

  An Open-Source Database System

  Language:C1

• oksdolm/RMA

  Implementation of Relational Matrix Algebra in MonetDB

  Language:TSQL61

• prathyvsh/category-theory-resources

  Resources for learning Category Theory for an enthusiast

  60033

• Rafficer/linux-cli-community

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

  Language:Python1.3k196

• radian-software/radian

  🍉 Dotfiles that marry elegance and practicality.

  Language:Emacs Lisp49447

• MonetDB/MonetDB-old

  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://monetdb.cwi.nl/testweb/web/status.php .For contributions please see: https://www.monetdb.org/Developers

  Language:C31153

• purcell/emacs.d

  An Emacs configuration bundle with batteries included

  Language:Emacs Lisp6.9k2.1k

• Sarcasm/.emacs.d

  Emacs config files

  Language:Emacs Lisp164

• bolt12/laop

  Linear Algebra of Programming - Algebraic Matrices in Haskell

  Language:Haskell835

• kohler/hotcrp

  HotCRP conference review software

  Language:PHP329112

• rexim/dotfiles

  Config files for mixer

  Language:Emacs Lisp33051

• latextemplates/LNCS

  Improved Lecture Notes in Computer Science (LNCS) template

  Language:TeX26063

• emacs-tw/awesome-emacs

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

  8.5k558

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k141

• slovnicki/pLam

  An interpreter for learning and exploring pure λ-calculus

  Language:Haskell44817

• moonad-archive/Formality-JavaScript

  An implementation of the Formality language in JavaScript

  Language:JavaScript724