malyzajko / rosaLinks
Rosa, the real compiler
☆20Updated 7 years ago
Alternatives and similar repositories for rosa
Users that are interested in rosa are comparing it to the libraries listed below
Sorting:
- Robots powered by Constructive Reals☆34Updated 7 years ago
- generative programming & verification☆33Updated last week
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Library classes for the Twelf Proof System☆22Updated 5 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Updated 2 years ago
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- ☆23Updated 11 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- A DSL for generating GR(1) problems☆11Updated 3 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- The LVish Haskell library