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 7 years ago
• tsloughter / OpaDo
  Opa port of the TodoMVC app
  ☆24Updated 13 years ago
• malonnnn / ServerConfig
  ☆10Updated 7 years ago
• InnovationNetworks / skin
  Simulating Knowledge Dynamics in Innovation Networks
  ☆15Updated 2 years ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆18Updated 5 years ago
• MLstate / birdy
  Micro-blogging engine
  ☆58Updated 12 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 4 years ago
• ljun20160606 / blog
  Share
  ☆13Updated 7 years ago
• juliensf / mercury-json
  A Mercury JSON library.
  ☆21Updated this week
• lbajolet / PEP8-examples
  Pep8 example codes for UQAM-INF2170
  ☆12Updated 3 years ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated 3 months ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• tyler / iota
  A tiny web app framework written in Io
  ☆32Updated 17 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Updated 9 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• Pascal-J / Jfire
  Arrayfire bindings for J language
  ☆10Updated 8 years ago
• levans / Open-Quark
  The CAL functional language and functional meta-programming environment for the Java platform
  ☆38Updated 5 years ago
• josip / eerie
  Package manager for Io.
  ☆21Updated 7 years ago
• Microalg / microalg
  Langage et environnements dédiés à l’algorithmique.
  ☆13Updated 5 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• chrisdone-archive / hulk
  Haskell IRC daemon.
  ☆141Updated 8 years ago
• quag / io-json
  A simple json pack/unpack for Io
  ☆20Updated 16 years ago
• echronos / echronos-proofs
  Isabelle/HOL proofs about the eChronos RTOS
  ☆11Updated 8 years ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆15Updated last year
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 6 months ago
• mozart / mozart
  ☆81Updated 7 years ago
• larrytheliquid / Lemmachine
  REST'ful web framework in Agda
  ☆134Updated 15 years ago
• g-ar / jsim
  simulations in J
  ☆13Updated 7 years ago
• dougmacdoug / ponylang-linal
  Linear Algebra library for Pony Language
  ☆24Updated 8 months ago