Coq compilation Projects
A core language for rule-based hardware design 🦑Project mention: Let's collect relatively new research programming languages in this thread | reddit.com/r/ProgrammingLanguages | 2022-11-15
https://github.com/koka-lang/koka Algebraic effects and reference counting. https://github.com/mit-plv/koika hardware description DSL for coq
Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.