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
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 8 years ago
• rowsail / AdaForMicrocontrollers
  Ada For Microcontrollers (GPL)
  ☆18Updated 9 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆23Updated 7 years ago
• karakalo / lumen
  OpenGL GUI toolkit library for Ada
  ☆27Updated 12 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆22Updated 3 years ago
• blakemcbride / APLUtils
  APL utilities for business applications
  ☆9Updated 5 months ago
• alexcweiner / APL-Image-Utilities
  Utility functions to get images in and out of (GNU) APL
  ☆6Updated 8 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆40Updated last year
• roryk / quantum-diceware
  Diceware random password generation using the ANU quantum random number server as the randomness source
  ☆17Updated 6 years ago
• blakemcbride / APLEditor
  APL function editor written in APL
  ☆13Updated 5 months ago
• chrishwiggins / orly
  little scripts to introduce people to each other.
  ☆20Updated 8 years ago
• nasa / WinSURE
  ☆17Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• Fabien-Chouteau / eagle-lander
  Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
  ☆32Updated 4 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
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 10 years ago
• cforler / Ada-Crypto-Library
  This project is obsolete is no longer developed, maintained or serviced!
  ☆84Updated 7 years ago
• Fabien-Chouteau / ACNC
  A G-code parser and CNC controller (in Ada)
  ☆65Updated 5 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆38Updated 11 years ago
• vishnuravi / stablematch
  Simulation of the matching algorithm that pairs medical school graduates and residency programs
  ☆23Updated 3 years ago
• tcarstens / verlang
  ☆54Updated 11 years ago
• contentful / slash-developers
  THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.
  ☆13Updated 6 years ago
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 9 years ago
• hikari-no-yume / Firth
  Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.
  ☆29Updated 10 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago