- SΓ£o Paulo, Brazil
π Programming
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Research language for array processing in the Haskell/ML family
A modern Prolog implementation written mostly in Rust.
Learning with Peter Norvig's lis.py interpreter
A computer algebra system written in pure Python
Mini-language interpreter derived from Peter Norvig's lis.py
Code for "Efficient optimization of loops and limits with randomized telescoping sums"
π Path to a free self-taught education in Computer Science!
A collection of algorithms and data structures
Google's Engineering Practices documentation
tree is a library for working with nested data structures
Python 3.8+ toolbox for submitting jobs to Slurm
π©βπ»π¨βπ» Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
GoogleTest - Google Testing and Mocking Framework
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Master the command line, in one page
An informative and fancy bash prompt for Git users
π A collection of pure bash alternatives to external processes.