Lobsters
- LaTTe : a Laboratory for Type Theory experiments https://github.com/latte-central/LaTTe 2 comments clojure , formalmethods , plt
Linking pages
- GitHub - simongray/clojure-dsl-resources: A curated list of Clojure resources for dealing with domain-specific languages. https://github.com/simongray/clojure-dsl-resources 5 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- Domain Specific Languages in Clojure — muhuk's blog http://blog.muhuk.com/2017/01/29/domain_specific_languages_in_clojure.html 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - latte-central/LaTTe: LaTTe : a Laboratory for Type Theory experiments (in clojure)
See how to search.