GitHub topics: assisted-reasoning
Lambda-Mountain-Compiler-Backend/lambda-mountain
Compiler Backend for LSTS (Typed Macro Assembler)
Language: C - Size: 323 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 29 - Forks: 2
Lambda-Mountain-Compiler-Backend/LSTS
Large Scale Type Systems (programming language)
Size: 1.21 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 122 - Forks: 3
Related Keywords
assisted-reasoning
2
compiler
2
programming-language
2
type-checking
1
theorem-prover
1
rust
1
refinement-types
1
proof-assistant
1
parser
1
lsts
1
lint
1
lexer
1
lambda-calculus-interpreter
1
lambda-calculus
1
error-reporting
1
dependent-types
1
category-theory
1
ast
1
x86
1
wasm
1
static-site-generator
1
self-hosting
1
macro-assembler
1
html
1
functional-programming
1
css
1
coq
1
c
1