Alternatives and similar repositories for alloy-coin

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

• emanchado / camino-mejor-programador
  Libro "El camino a un mejor programador"
  ☆19Updated 12 years ago
• vitling / midihack
  Algorithmic music project for MIDIHACK 2014
  ☆29Updated 11 years ago
• vishnuravi / stablematch
  Simulation of the matching algorithm that pairs medical school graduates and residency programs
  ☆23Updated 4 years ago
• Iyouboushi / mIRC-BattleArena
  mIRC Bot - Battle Arena
  ☆20Updated last year
• Ezandora / Guide
  Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.
  ☆29Updated last year
• roryk / quantum-diceware
  Diceware random password generation using the ANU quantum random number server as the randomness source
  ☆17Updated 6 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆12Updated 9 years ago
• contentful / slash-developers
  THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.
  ☆13Updated 6 years ago
• chrishwiggins / orly
  little scripts to introduce people to each other.
  ☆20Updated 9 years ago
• persan / zeromq-Ada
  Ada-bindings for 0mq
  ☆41Updated 2 months ago
• alexcweiner / APL-Image-Utilities
  Utility functions to get images in and out of (GNU) APL
  ☆6Updated 8 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
• dsanson / Words
  A Latin-English Dictionary Program
  ☆43Updated 13 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• a904guy / Link-Hack
  Link-Hack is a Hack Lang HHVM version of Amanpreet Singh's Simple PHP Router
  ☆16Updated 7 years ago
• addinall / COBWEB
  A RESPONSIVE HTML5/CSS3 Javascript free Framework for COBOL systems
  ☆20Updated 8 years ago
• hshackers / docs
  Documentation for HS Hackers
  ☆31Updated 9 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 9 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• briandfoy / excellent_numbers
  Compute excellent numbers
  ☆9Updated last year
• ZongzheYuan / HaltingProblem
  The proof of undecidability of halting problem, using the model -- WHILE language.
  ☆20Updated 5 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 11 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• NASA-Tournament-Lab / NTL-ISS-Food-Intake-Tracker
  NASA Tournament Lab (NTL) International Space Station (ISS) Food Intake Tracker (FIT) app for ISS crew to use on their iPads.
  ☆3Updated 7 years ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆38Updated 11 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• r0nk / corvus
  Genetic BF programming
  ☆59Updated 10 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆97Updated 8 months ago