malyzajko / rosa
Rosa, the real compiler
☆19Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for rosa
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- generative programming & verification☆32Updated 2 years ago
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- ☆22Updated 10 years ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Updated last year
- Ring solver for Idris☆20Updated 6 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- A compiler for Coq☆26Updated 11 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 2 years ago
- ☆29Updated 9 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- A standard for floating point accuracy benchmarks☆44Updated this week
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated 11 months ago
- Model finder for higher-order logic☆41Updated 11 months ago
- A LaTeX package for formatting meta-theory.☆46Updated 3 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- A PLT Redex implementation of Featherweight Java☆15Updated 12 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- Experimental C++11 backend for Idris☆14Updated 9 years ago
- A DSL for describing and implementing communication protocols☆83Updated 9 years ago
- LVC verified compiler☆57Updated 6 years ago
- A tutorial on how to write OCaml tactics for the Coq proof assistant☆23Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- The LVish Haskell library☆81Updated 2 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- αProlog☆17Updated last year