name's repositories
Desert-Pocket-Gopher
Desert Pocket Gopher
miniKanren-uncourse
Code, wiki, and resources for the weekly miniKanren uncourse
scheme-testing-code
code for testing scheme
scheme-to-c-in-90-mins
Marc Feeley
ASCIIpOrtal
It's like portal, but in ASCII. And 2D. Sweet look-through mechanic, tho.
matasano-cryptol
matasano challenges in cryptol
pattern-matcher
pattern matcher and define-language for racket/scheme
regexp-Brzozowski
Coq files for the formalization of "A Decision Procedure for Regular Expression Equivalence in Type Theory" by Thierry Coquand and myself
securestrings
Secure Strings
syntactic-closures-macro-system
Syntactic Closures based on Bawden and Rees paper
x86-emitter
Utility to emit nasm x86 assembly