kepae / alloy-coinLinks
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
☆9Updated 10 years ago
Alternatives and similar repositories for alloy-coin
Users that are interested in alloy-coin are comparing it to the libraries listed below
Sorting:
- Algorithmic music project for MIDIHACK 2014☆29Updated 11 years ago
- GUI toolkit for Ada using OpenGL☆15Updated 12 years ago
- Simulation of the matching algorithm that pairs medical school graduates and residency programs☆23Updated 4 years ago
- A simple APL neural network.☆12Updated 9 years ago
- Diceware random password generation using the ANU quantum random number server as the randomness source☆17Updated 6 years ago
- Libro "El camino a un mejor programador"☆19Updated 12 years ago
- Ada For Microcontrollers (GPL)☆18Updated 9 years ago
- Ada-bindings for 0mq☆41Updated last month
- Naive Bayesian Classifier written in APL☆24Updated 7 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- Utility functions to get images in and out of (GNU) APL☆6Updated 8 years ago
- OpenGL GUI toolkit library for Ada☆27Updated 12 years ago
- This project is obsolete is no longer developed, maintained or serviced!☆85Updated 7 years ago
- little scripts to introduce people to each other.☆20Updated 8 years ago
- APL utilities for business applications☆9Updated 6 months ago
- ☆33Updated 10 years ago
- Porting of software foundations book to Agda☆38Updated 11 years ago
- ANNSER is A Neural Network Simulator for Education and Research.☆10Updated 8 years ago
- Arc Runtime Project☆20Updated 12 years ago
- A clone of Chips Challenge in Haskell☆142Updated 10 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…☆47Updated 4 years ago
- Arc Lisp to C compiler☆32Updated 16 years ago
- Timing attack resistant type systems☆24Updated 10 years ago
- APL function editor written in APL☆13Updated 6 months ago
- THIS REPOSITORY IS DEPRECATED. Please do not open new PRs or issues.☆13Updated 6 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 11 years ago
- ☆23Updated 13 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago