Alternatives and similar repositories for alloy-coin:

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

• karakalo / old-lumen
  GUI toolkit for Ada using OpenGL
  ☆15Updated 12 years ago
• emanchado / camino-mejor-programador
  Libro "El camino a un mejor programador"
  ☆19Updated 11 years ago
• rowsail / AdaForMicrocontrollers
  Ada For Microcontrollers (GPL)
  ☆18Updated 9 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆38Updated 10 months ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 8 years ago
• vishnuravi / stablematch
  Simulation of the matching algorithm that pairs medical school graduates and residency programs
  ☆22Updated 3 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆22Updated 6 years ago
• karakalo / lumen
  OpenGL GUI toolkit library for Ada
  ☆27Updated 11 years ago
• alexcweiner / APL-Image-Utilities
  Utility functions to get images in and out of (GNU) APL
  ☆6Updated 8 years ago
• blakemcbride / APLUtils
  APL utilities for business applications
  ☆9Updated 2 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
• PerformanceHorizonGroup / apidocs
  Docs for the public Partnerize API
  ☆12Updated 3 years ago
• cforler / Ada-Crypto-Library
  This project is obsolete is no longer developed, maintained or serviced!
  ☆84Updated 6 years ago
• roryk / quantum-diceware
  Diceware random password generation using the ANU quantum random number server as the randomness source
  ☆17Updated 6 years ago
• egonSchiele / chips
  A clone of Chips Challenge in Haskell
  ☆142Updated 10 years ago
• blakemcbride / APLEditor
  APL function editor written in APL
  ☆13Updated 2 months ago
• contentful / slash-developers
  THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.
  ☆13Updated 6 years ago
• awwx / ar
  Arc Runtime Project
  ☆20Updated 12 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• Nikokrock / ada-lua
  An Ada binding for Lua.
  ☆42Updated last year
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 9 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• chrishwiggins / orly
  little scripts to introduce people to each other.
  ☆20Updated 8 years ago
• Fabien-Chouteau / eagle-lander
  Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
  ☆31Updated 4 years ago
• Lucretia / tamp
  The Ada Microkernel Project
  ☆114Updated 9 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 10 years ago