mattbierner / blog.mattbierner.comLinks
blog.mattbierner.com
☆10Updated last year
Alternatives and similar repositories for blog.mattbierner.com
Users that are interested in blog.mattbierner.com are comparing it to the libraries listed below
Sorting:
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- Refinement Types for Scripting Languages☆69Updated 6 years ago
- ☆55Updated 8 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- LVC verified compiler☆57Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- PLT Redex models of LVar calculi☆10Updated 10 years ago
- A compiler for Coq☆26Updated 12 years ago
- Thoughts and stuff☆70Updated 5 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Higher-order optimization library☆76Updated 2 years ago
- The Spire Programming Language☆59Updated 10 years ago
- A blog about Coq☆11Updated 4 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 9 years ago
- The Ynot Project source code.☆22Updated 11 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Simplified Observational Type Theory☆84Updated 2 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- Semantics for Cryptol☆16Updated 7 years ago