Alternatives and similar repositories for mozart2:

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

• fu-dietersheim / Blockchain
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Updated 6 years ago
• mozart / mozart
  ☆79Updated 6 years ago
• levans / Open-Quark
  The CAL functional language and functional meta-programming environment for the Java platform
  ☆38Updated 4 years ago
• programthecloud / ptcrepo
  Repository for Berkeley's class on Programming the Cloud
  ☆60Updated 4 years ago
• odipar / spread
  SPREAD
  ☆19Updated 3 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 3 years ago
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 8 years ago
• greedy / scala-llvm
  This repository is now obsolete, see https://github.com/greedy/scala
  ☆92Updated 13 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• acutelanguage / acute
  An implementation of the Io programming language
  ☆36Updated 8 years ago
• visi-lang / visi
  The Visi Language and iPad IDE
  ☆140Updated 11 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• parrot / cardinal
  Ruby on Parrot
  ☆58Updated 5 years ago
• tsloughter / OpaDo
  Opa port of the TodoMVC app
  ☆24Updated 12 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• wyager / Neks
  A dead simple networked key/value store
  ☆115Updated 9 years ago
• larrytheliquid / Lemmachine
  REST'ful web framework in Agda
  ☆131Updated 14 years ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆136Updated 6 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated last month
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆15Updated 2 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• djspiewak / sparse
  Generalized, incremental parser combinators for scalaz-stream
  ☆63Updated 10 years ago
• au-ts / cogent
  Cogent Project
  ☆161Updated last year
• RJ / playdar-core
  Playdar - a content resolver for music
  ☆192Updated 14 years ago
• namin / lms-verify
  generative programming & verification
  ☆32Updated 3 years ago
• dmead / Clojure-translate
  Translate Haskell programs into Clojure
  ☆7Updated 13 years ago
• NicolasPetton / iliad
  iliad smalltalk web framework
  ☆59Updated 12 years ago