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 8 years ago
• malonnnn / ServerConfig
  ☆10Updated 7 years ago
• 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
• partcl / partcl
  Tcl on parrot
  ☆20Updated 13 years ago
• perl6 / nqp-rx
  (ARCHIVE) nqp-rx
  ☆37Updated 11 years ago
• viklund / november
  A wiki engine written in Perl 6
  ☆51Updated 8 years ago
• ljun20160606 / blog
  Share
  ☆13Updated 7 years ago
• MLstate / birdy
  Micro-blogging engine
  ☆58Updated 12 years ago
• lbajolet / PEP8-examples
  Pep8 example codes for UQAM-INF2170
  ☆12Updated 3 years ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated 2 weeks ago
• echronos / echronos-proofs
  Isabelle/HOL proofs about the eChronos RTOS
  ☆11Updated 8 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆18Updated 5 years ago
• BSData / whfb
  Warhammer Fantasy
  ☆33Updated last year
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 11 years ago
• juliensf / mercury-json
  A Mercury JSON library.
  ☆21Updated last month
• defunkt / ike
  Rake in Io.
  ☆27Updated 12 years ago
• jeremytregunna / IoSpec
  A test suite specification of the Io Programming Language
  ☆32Updated 14 years ago
• NotFound / winxed
  The winxed programming language
  ☆29Updated 9 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago
• tyler / iota
  A tiny web app framework written in Io
  ☆32Updated 17 years ago
• josip / eerie
  Package manager for Io.
  ☆21Updated 8 years ago
• autodidaddict / ponychat
  My first Pony app - multi-user telnet-based chat
  ☆13Updated 8 years ago
• quag / io-json
  A simple json pack/unpack for Io
  ☆20Updated 16 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆81Updated 8 months ago
• wyc / snippets
  ☆52Updated 8 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• whymirror / yown
  a little web for Io
  ☆36Updated 16 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Updated 9 years ago