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
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 8 years ago
• orlp / pyth5
  Clean-sheet rewrite of Pyth.
  ☆13Updated 9 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• vitling / midihack
  Algorithmic music project for MIDIHACK 2014
  ☆29Updated 10 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆63Updated 10 years ago
• UCSD-PL / veridrone
  Foundational Verification of Hybrid Systems
  ☆15Updated 7 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 6 years ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆31Updated 7 years ago
• bubbleboy14 / chesstools
  Automatically exported from code.google.com/p/chesstools
  ☆10Updated last year
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• prathamesh-t / Tangle-Isabelle
  ☆11Updated 10 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• pcapriotti / agda-base
  Base library for HoTT in Agda
  ☆37Updated 5 years ago
• dschepler / coq-topology
  Topology library for Coq
  ☆11Updated 9 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• alexcweiner / APL-Image-Utilities
  Utility functions to get images in and out of (GNU) APL
  ☆6Updated 8 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• rowsail / AdaForMicrocontrollers
  Ada For Microcontrollers (GPL)
  ☆18Updated 9 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 9 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 10 years ago