Michael Arntzenius's repositories
minikanren-datalog
Datalog implemented in minikanren
unidirectional-inference
Bidirectional type inference with wildcards, or "unidirectional type inference"
deriv-parsing
Exploring "Parsing with Derivatives"
infix-calculator
Arithmetic calculator with customizable infix operators
plt-ideas-bot
Twitter bot generating PLT ideas by mashing up previous ideas
500lines
500 Lines or Less
Language:PythonNOASSERTION000
botwillacceptanything
The project where anything goes, as long as the code allows it
Language:JavaScript000
byterun
A Python implementation of a Python bytecode runner
MIT000
elm-mode
Elm mode for emacs
Language:Emacs LispGPL-3.0000
Language:Shell000
monoid-slides
Some slides explaining monoids and semilattices, using reveal.js
Language:JavaScriptMIT000
parse-dsl
Experimenting with syntax for a parser-combinator dsl.
Language:Racket000
racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
tiny-session-types
Toy implementation of a session-typed language for learning purposes