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
• malonnnn / ServerConfig
  ☆10Updated 7 years ago
• tsloughter / OpaDo
  Opa port of the TodoMVC app
  ☆24Updated 13 years ago
• InnovationNetworks / skin
  Simulating Knowledge Dynamics in Innovation Networks
  ☆15Updated last year
• perl6 / nqp-rx
  (ARCHIVE) nqp-rx
  ☆37Updated 11 years ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆18Updated 5 years ago
• ljun20160606 / blog
  Share
  ☆13Updated 7 years ago
• viklund / november
  A wiki engine written in Perl 6
  ☆51Updated 7 years ago
• nPoseTeam / nPose-V2
  nPose is an LSL script for use in Second Life® that allows one or more avatars to sit on (and otherwise control) objects and rez props, w…
  ☆10Updated 8 years ago
• lbajolet / PEP8-examples
  Pep8 example codes for UQAM-INF2170
  ☆12Updated 3 years ago
• partcl / partcl
  Tcl on parrot
  ☆20Updated 13 years 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
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• BSData / whfb
  Warhammer Fantasy
  ☆32Updated last year
• ossmeter / ossmeter
  Automated Measurement and Analysis of Open-Source Software
  ☆14Updated 8 years ago
• defunkt / ike
  Rake in Io.
  ☆27Updated 12 years ago
• alup / puppet-rbenv
  Puppet manifest for rbenv installation
  ☆139Updated 3 years ago
• meiersi / scyther-proof
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆17Updated 10 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated 2 months ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆151Updated 6 years ago
• robtweed / EWD
  Free Open Source version of EWD for GT.M
  ☆28Updated 3 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
• jeremytregunna / IoSpec
  A test suite specification of the Io Programming Language
  ☆32Updated 13 years ago
• Microalg / microalg
  Langage et environnements dédiés à l’algorithmique.
  ☆13Updated 5 years ago
• twittner / zeromq-haskell
  This repository has been moved to https://gitlab.com/twittner/zeromq-haskell
  ☆137Updated 9 years ago
• juliensf / mercury-json
  A Mercury JSON library.
  ☆21Updated last month
• parrot / cardinal
  Ruby on Parrot
  ☆61Updated 6 years ago