Alternatives and similar repositories for stablematch

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

• cfloume / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 9 years ago
• blakemcbride / APLEditor
  APL function editor written in APL
  ☆12Updated last year
• wyc / snippets
  ☆52Updated 8 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 11 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 11 years ago
• quchen / amoeba
  Amœba is a distributed network.
  ☆18Updated 11 years ago
• egonSchiele / chips
  A clone of Chips Challenge in Haskell
  ☆144Updated 11 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 9 years ago
• Ezandora / Guide
  Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.
  ☆29Updated last year
• flavioc / meld
  Meld virtual machine.
  ☆28Updated 10 years ago
• karakalo / old-lumen
  GUI toolkit for Ada using OpenGL
  ☆15Updated 12 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 7 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 7 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 11 years ago
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 10 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆29Updated 10 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 8 years ago
• jozefg / graph-models
  Notes on P-omega
  ☆14Updated 8 years ago
• ZongzheYuan / HaltingProblem
  The proof of undecidability of halting problem, using the model -- WHILE language.
  ☆21Updated 5 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆42Updated this week
• steinuil / negoto-old-and-busted
  Barely functional imageboard
  ☆11Updated 9 years ago
• andreasdotorg / pdfparser
  ☆23Updated 14 years ago
• flavioc / cl-meld
  Meld compiler written in Common Lisp
  ☆13Updated 10 years ago
• sjoerdvisscher / HueAPI
  Haskell API for controlling Phillips Hue lights
  ☆15Updated 9 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆20Updated 7 years ago