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
• cforler / Ada-Crypto-Library
  This project is obsolete is no longer developed, maintained or serviced!
  ☆84Updated 7 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 10 years ago
• karakalo / old-lumen
  GUI toolkit for Ada using OpenGL
  ☆15Updated 12 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 7 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 8 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆87Updated 8 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆40Updated last year
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• bubbleboy14 / chesstools
  Automatically exported from code.google.com/p/chesstools
  ☆10Updated last year
• Lichtso / UnikernelExperiments
  TCP/IPv6-enabled Pine64+ bootloader
  ☆13Updated 8 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated last week
• GaloisInc / smaccmpilot-stm32f4
  SMACCMPilot flight controller
  ☆32Updated 7 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• viklund / november
  A wiki engine written in Perl 6
  ☆51Updated 7 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 7 years ago
• Nikokrock / ada-lua
  An Ada binding for Lua.
  ☆43Updated last year
• samoht / mirage-seal
  Sealing local directories into Mirage Unikernels
  ☆27Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 13 years ago
• briandfoy / excellent_numbers
  Compute excellent numbers
  ☆9Updated 11 months ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 4 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• karakalo / lumen
  OpenGL GUI toolkit library for Ada
  ☆27Updated 12 years ago
• catwell / lua-mirrorfs
  MirrorFS is a Lua module that implements a FUSE mirroring a directory.
  ☆10Updated 2 years ago