Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
- GitHub - attila-lendvai/maru: Maru - a tiny self-hosting lisp dialect https://github.com/attila-lendvai/maru 4 comments
- LO[6]: New name, new syntax, code-assist without language server https://carrot-blog.deno.dev/lo/devlog-6 1 comment
- Parser Generator DSLs https://kitten.sh/parser-generator-dsl 0 comments
- Iteration… Really?. Yep, I’m sure you have heard the word a… | by Dariel Noel | Front10 | Medium https://medium.com/front10/iteration-really-8eb04b6dd4de 0 comments
- GitHub - hadrizi/lcl: Experimental stack-oriented programming language. Functions edition. https://github.com/hadrizi/lcl 0 comments
- GitHub - yubrot/llrl: An experimental Lisp-like programming language https://github.com/yubrot/llrl 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Self-hosting (compilers) - Wikipedia
See how to search.