Alternatives and similar repositories for stablematch

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

• kepae / alloy-coin
  An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
  ☆9Updated 10 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 10 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 9 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 11 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• karakalo / old-lumen
  GUI toolkit for Ada using OpenGL
  ☆15Updated 12 years ago
• pcapriotti / agda-base
  Base library for HoTT in Agda
  ☆37Updated 6 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• egonSchiele / chips
  A clone of Chips Challenge in Haskell
  ☆142Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• gasche / popl2014-papers
  ☆74Updated 11 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 9 years ago
• HoTT / Archive
  Archived materials related to Homotopy Type Theory.
  ☆11Updated 13 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 7 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆26Updated 9 years ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆33Updated 5 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• benjaminselfridge / propcheck
  Proof checker for propositional logic
  ☆16Updated 7 years ago
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆89Updated 8 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 7 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago