Alternatives and similar repositories for alloy-coin:

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

• 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
  ☆22Updated 3 years ago
• contentful / slash-developers
  THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.
  ☆13Updated 6 years ago
• kingroryg / xkcd
  Automatically sets the daily xkcd comic as your wallpaper.
  ☆15Updated 7 years ago
• diracdeltas / reading
  what i'm reading. read me.
  ☆39Updated 9 years ago
• hshackers / docs
  Documentation for HS Hackers
  ☆30Updated 9 years ago
• PerformanceHorizonGroup / apidocs
  Docs for the public Partnerize API
  ☆12Updated 3 years ago
• sylvia43 / HexLogic
  A clone of LogicHex using Javascript canvas.
  ☆45Updated 6 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• llvm-mirror / zorg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆20Updated 5 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.
  ☆2Updated 6 years ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆37Updated 11 years ago
• nasa / WinASSIST
  ☆10Updated 9 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• slashmili / fighter
  An extensible micro-framework for HackLang
  ☆8Updated 7 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
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆80Updated 7 years ago
• NASA-Tournament-Lab / NTL-ISS-Robonaut-2-Vision-Algorithm-Challenge
  The NASA Tournament Lab (NTL) challenge to create an algorithm to help Robonaut "see" objects and recognize them. This repository contai…
  Updated 11 years ago
• 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
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• chrishwiggins / orly
  little scripts to introduce people to each other.
  ☆20Updated 8 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• bl0ckeduser / new-bpf-tools
  subset-of-C compiler targeting 32-bit x86
  ☆115Updated last year
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• BobMarlon / Tny
  A simple data serializer in C
  ☆201Updated 10 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago