Alternatives and similar repositories for rosa:

Users that are interested in rosa are comparing it to the libraries listed below

• GeorgOfenbeck / SpiralS
  ☆23Updated 11 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 2 weeks ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 2 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 11 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated this week
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated last year
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• nunchaku-inria / nunchaku
  Model finder for higher-order logic
  ☆42Updated last year
• LaifsV1 / YUP
  YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…
  ☆36Updated 2 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆24Updated 10 years ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆61Updated 7 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 8 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 2 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 4 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• Feldspar / feldspar-language
  The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…
  ☆45Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago