The Rosette solver-aided host language, sample solver-aided DSLs, and demos

A minimalist type-inferred programming language with procedural macro support

A CSS specification and reasoning engine

Just what the world needs: another IRC bot

S-expression-aware diffing tool based on Levenshtein-like tree edit distance.

demo of an alternative to the web

A command line tool to test the equality of two files as S-Expressions