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
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 8 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 7 years ago
• blakemcbride / APLEditor
  APL function editor written in APL
  ☆13Updated 3 months 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 6 years ago
• rowsail / AdaForMicrocontrollers
  Ada For Microcontrollers (GPL)
  ☆18Updated 9 years ago
• karakalo / old-lumen
  GUI toolkit for Ada using OpenGL
  ☆15Updated 12 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆39Updated 11 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• Nikokrock / ada-lua
  An Ada binding for Lua.
  ☆43Updated last year
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• karakalo / lumen
  OpenGL GUI toolkit library for Ada
  ☆27Updated 12 years ago
• OneWingedShark / Ada_Tutorial
  Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.
  ☆24Updated 11 years ago
• alexcweiner / APL-Image-Utilities
  Utility functions to get images in and out of (GNU) APL
  ☆6Updated 8 years ago
• bubbleboy14 / chesstools
  Automatically exported from code.google.com/p/chesstools
  ☆10Updated last year
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 9 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 9 years ago
• flyx / OpenGLAda
  Thick Ada binding for OpenGL and GLFW
  ☆97Updated 2 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• Ezandora / Guide
  Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.
  ☆29Updated last year
• jfbastien / ponies
  C++ on the Web: ponies for developers without pwn’ing users
  ☆11Updated 9 years ago