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
1 Open Issue Need Help Last updated: Sep 15, 2025

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