Open Issues Need Help
View All on GitHub LIB FEATURE TODO LIST about 1 year ago
enhancement good first issue stdlib
Lambda-Mountain-Compiler-Backend/lambda-mountain Lambda-Mountain-Compiler-Backend/lambda-mountain Compiler Backend for LSTS (Typed Macro Assembler)
Open project →
31
Compiler Backend for LSTS (Typed Macro Assembler)
C
#assisted-reasoning#c#compiler#coq#css#functional-programming#html#macro-assembler#programming-language#self-hosting#static-site-generator#wasm#x86