aaig
: 📖 Abstract Algebra in GAP (repo)eunix
: Reimplementations of UNIX toolslol
: 📖 Land of Lisp (repo)- Chapter 2: The Guess-My-Number Game
- Chapter 4: Pudding Eater
- Chapter 5: The Wizard's Adventure Game
- Chapter 6: The Wizard's Adventure Game REPL
pandoc-minted
: A pandoc filter to render LaTeX code blocks using minted (repo)paip
: 📖 Paradigms of Artificial Intelligence Programmingsrc/erlang
: Joe Armstrong's Favorite Erlang Programsrc/idris
: Hello, noweb!