- Recife, Brazil
- https://www.linkedin.com/in/caiorodrigues
Stars
📚 List of awesome university courses for learning Computer Science!
A curated list of engineering blogs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
A community driven list of useful Emacs packages, libraries and other items.
The core OCaml system: compilers, runtime system, base libraries
Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
pefile is a Python module to read and work with PE (Portable Executable) files
Implementations of various type systems in OCaml.
Open-source implementation of the K programming language
Huge list of videos, talks, courses for Haskell programming language.
The long lost Emacs string manipulation library.
Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.
My Emacs initialization code and standard scripts I use for client and servers alike.
Collection of emacs extensions specifically collected for python development, with workflow guidelines!
Accompanying Source Code for the Haskell Data Analysis Cookbook
Course materials for Stanford CS240h, "Functional Systems in Haskell"
Clojure to Scheme to C to the bare metal.