Alternatives and similar repositories for mozart2

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

• alvarezleonardo / Material_DES
  Material extra
  ☆14Updated 7 years ago
• tsloughter / OpaDo
  Opa port of the TodoMVC app
  ☆24Updated 13 years ago
• fu-dietersheim / Blockchain
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Updated 7 years ago
• InnovationNetworks / skin
  Simulating Knowledge Dynamics in Innovation Networks
  ☆15Updated last year
• ljun20160606 / blog
  Share
  ☆13Updated 7 years ago
• echronos / echronos-proofs
  Isabelle/HOL proofs about the eChronos RTOS
  ☆11Updated 8 years ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆18Updated 5 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• tyler / iota
  A tiny web app framework written in Io
  ☆32Updated 17 years ago
• partcl / partcl
  Tcl on parrot
  ☆20Updated 13 years ago
• MLstate / birdy
  Micro-blogging engine
  ☆57Updated 12 years ago
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 5 months ago
• quag / io-json
  A simple json pack/unpack for Io
  ☆20Updated 16 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• NotFound / winxed
  The winxed programming language
  ☆29Updated 9 years ago
• perl6 / nqp-rx
  (ARCHIVE) nqp-rx
  ☆37Updated 11 years ago
• defunkt / ike
  Rake in Io.
  ☆27Updated 12 years ago
• juliensf / mercury-json
  A Mercury JSON library.
  ☆21Updated 2 weeks ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated last month
• viklund / november
  A wiki engine written in Perl 6
  ☆51Updated 7 years ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆15Updated last year
• lbajolet / PEP8-examples
  Pep8 example codes for UQAM-INF2170
  ☆12Updated 3 years ago
• Microalg / microalg
  Langage et environnements dédiés à l’algorithmique.
  ☆13Updated 5 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• parrot / cardinal
  Ruby on Parrot
  ☆61Updated 6 years ago
• jeremytregunna / IoSpec
  A test suite specification of the Io Programming Language
  ☆32Updated 13 years ago
• Pascal-J / Jfire
  Arrayfire bindings for J language
  ☆11Updated 8 years ago
• vangberg / iodis
  a redis client library for io
  ☆22Updated 15 years ago
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated last year