Alternatives and similar repositories for alloy-coin

Users that are interested in alloy-coin are comparing it to the libraries listed below

• vitling / midihack
  Algorithmic music project for MIDIHACK 2014
  ☆29Updated 11 years ago
• karakalo / old-lumen
  GUI toolkit for Ada using OpenGL
  ☆15Updated 12 years ago
• roryk / quantum-diceware
  Diceware random password generation using the ANU quantum random number server as the randomness source
  ☆17Updated 6 years ago
• vishnuravi / stablematch
  Simulation of the matching algorithm that pairs medical school graduates and residency programs
  ☆23Updated 4 years ago
• rowsail / AdaForMicrocontrollers
  Ada For Microcontrollers (GPL)
  ☆18Updated 9 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 9 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆41Updated last month
• blakemcbride / APLUtils
  APL utilities for business applications
  ☆9Updated 7 months ago
• chrishwiggins / orly
  little scripts to introduce people to each other.
  ☆20Updated 9 years ago
• alexcweiner / APL-Image-Utilities
  Utility functions to get images in and out of (GNU) APL
  ☆6Updated 8 years ago
• contentful / slash-developers
  THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.
  ☆13Updated 6 years ago
• karakalo / lumen
  OpenGL GUI toolkit library for Ada
  ☆27Updated 12 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• awwx / ar
  Arc Runtime Project
  ☆20Updated 12 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 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
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• sylvia43 / HexLogic
  A clone of LogicHex using Javascript canvas.
  ☆45Updated 6 years ago
• blakemcbride / APLEditor
  APL function editor written in APL
  ☆13Updated 7 months ago
• sacado / arc2c
  Arc Lisp to C compiler
  ☆32Updated 16 years ago
• annser / annser
  ANNSER is A Neural Network Simulator for Education and Research.
  ☆10Updated 8 years ago
• Ezandora / Guide
  Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.
  ☆29Updated last year
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 8 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• r0nk / corvus
  Genetic BF programming
  ☆60Updated 10 years ago
• Lucretia / bare_bones
  Ada Bare Bones OS development tutorial source code
  ☆89Updated 8 years ago
• ytomino / drake
  Drake: A Runtime Library for gcc-Ada
  ☆42Updated 5 years ago
• Nikokrock / ada-lua
  An Ada binding for Lua.
  ☆43Updated last year