Projects in Awesome Lists tagged with assisted-reasoning
A curated list of projects in awesome lists tagged with assisted-reasoning .
https://github.com/andrew-johnson-4/lsts
Large Scale Type Systems (programming language)
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking
Last synced: 07 Apr 2025
https://github.com/andrew-johnson-4/LSTS
Large Scale Type Systems (programming language)
assisted-reasoning ast category-theory compiler dependent-types error-reporting lambda-calculus lambda-calculus-interpreter language lexer lint lsts parser proof-assistant refinement-types rust theorem-prover type-checking
Last synced: 13 Apr 2025
https://github.com/lambda-mountain-compiler-backend/lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
assisted-reasoning c compiler coq css functional-programming html macro-assembler programming-language self-hosting static-site-generator wasm x86
Last synced: 13 May 2025
https://github.com/andrew-johnson-4/lambda-mountain
Tiny Functional Language Compiling to Assembly (7000 Lines of Code)
assisted-reasoning compiler coq css functional-programming html macro-assembler programming-language self-hosting static-site-generator wasm x86
Last synced: 27 Mar 2025