Ayberk Tosun's starred repositories
sml-redprl
The People's Refinement Logic
grammar-inference
Learning rigid grammars in Haskell.
ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
structured-text-tools
A list of command-line tools for manipulating structured text data
Coq-Equations
A function definition package for Coq
register-alloc
WIP - A little doodle of a register allocator with an explanation of how it works.
side-effects-in-english
a blog
pfpl-langkit
Web playground for Gödel's System T - http://larks.petebevin.com/primrec/
the-little-prover
All code examples from "The Little Prover" book
The-Mechanization-of-Standard-ML
The Mechanization of Standard ML
FirstOrderUnificationInAgda
Implementation of McBride's "First-order unification by structural recursion" in Agda.
incredible
The Incredible Proof Machine