Alternatives and similar repositories for mozart2

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

• ljun20160606 / blog
  Share
  ☆13Updated 7 years ago
• perl6 / nqp-rx
  (ARCHIVE) nqp-rx
  ☆37Updated 10 years ago
• fu-dietersheim / Blockchain
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Updated 7 years ago
• partcl / partcl
  Tcl on parrot
  ☆20Updated 13 years ago
• tsloughter / OpaDo
  Opa port of the TodoMVC app
  ☆24Updated 13 years ago
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 2 months ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆18Updated 5 years ago
• NotFound / winxed
  The winxed programming language
  ☆29Updated 9 years ago
• viklund / november
  A wiki engine written in Perl 6
  ☆51Updated 7 years ago
• echronos / echronos-proofs
  Isabelle/HOL proofs about the eChronos RTOS
  ☆11Updated 8 years ago
• jeremytregunna / IoSpec
  A test suite specification of the Io Programming Language
  ☆32Updated 13 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• pgregory / blackpool
  A heretic web framework in Io, based on Seaside.
  ☆15Updated 9 years ago
• MLstate / birdy
  Micro-blogging engine
  ☆57Updated 11 years ago
• tyler / iota
  A tiny web app framework written in Io
  ☆32Updated 17 years ago
• parrot / cardinal
  Ruby on Parrot
  ☆60Updated 6 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆16Updated 10 years ago
• Pascal-J / Jfire
  Arrayfire bindings for J language
  ☆12Updated 7 years ago
• quag / io-json
  A simple json pack/unpack for Io
  ☆20Updated 16 years ago
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 4 years ago
• dougmacdoug / ponylang-linal
  Linear Algebra library for Pony Language
  ☆24Updated 4 months ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• juliensf / mercury-json
  A Mercury JSON library.
  ☆21Updated 4 months ago
• robtweed / EWD
  Free Open Source version of EWD for GT.M
  ☆28Updated 3 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated 4 months ago
• tony-o / perl6-slang-sql
  ☆25Updated last year
• mozart / mozart
  ☆80Updated 6 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago