Pinned Repositories
category-theory
Dabblings into Category Theory
coexplorer
SVN checkout explorer for Vim
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
config
Configuration files
creep
Easily log events to slack chatrooms
docs
Mendix documentation repository
forge
Work with Git forges from the comfort of Magit
fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
openksh
Linux port of the OpenBSD ksh shell
sicp
lvanengelen's Repositories
lvanengelen/openksh
Linux port of the OpenBSD ksh shell
lvanengelen/category-theory
Dabblings into Category Theory
lvanengelen/coexplorer
SVN checkout explorer for Vim
lvanengelen/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
lvanengelen/config
Configuration files
lvanengelen/creep
Easily log events to slack chatrooms
lvanengelen/docs
Mendix documentation repository
lvanengelen/forge
Work with Git forges from the comfort of Magit
lvanengelen/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
lvanengelen/sicp
lvanengelen/void-packages
The Void source packages collection