Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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 Nov 2024
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: 17 Dec 2024
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: 30 Oct 2024