Gui Goncalves's repositories
Book-TDD-Web-Dev-Python
Book - TDD web dev with Python
Language:PythonNOASSERTION000
dotfiles
Just my stuff
Language:Emacs Lisp000
gclves.github.io
Page
Unlicense000
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
Language:SystemVerilogNOASSERTION000
mal
mal - Make a Lisp
Language:AssemblyNOASSERTION000
nix-shorts
A collection of short notes about Nix, down to what is immediately needed for users.
Language:NixCC-BY-SA-4.0000
Language:HTMLMIT000
sup
A curses threads-with-tags style email client (mailing list: supmua@googlegroups.com)
Language:RubyGPL-2.0000