Open Issues Need Help
View All on GitHub LIB FEATURE TODO LIST about 2 months ago
enhancement good first issue stdlib
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