2 results found Sort:

andrew-johnson-4
LSTS andrew-johnson-4
3
120
mit
3
Large Scale Type Systems (programming language)
ast lint lsts rust lexer parser compiler type-checking theorem-prover category-theory dependent-types error-reporting lambda-calculus proof-assistant refinement-types assisted-reasoning programming-language lambda-calculus-interpreter
Created 2021-09-10
1,446 commits to main branch, last one about a month ago
andrew-johnson-4
lambda-mountain andrew-johnson-4
1
27
mit
2
Compiler Backend for LSTS (Typed Macro Assembler)
c coq css x86 html wasm compiler self-hosting macro-assembler assisted-reasoning programming-language static-site-generator functional-programming
Created 2023-07-02
7,118 commits to main branch, last one a day ago