kepae / alloy-coin
An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
☆9Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for alloy-coin
- Ada For Microcontrollers (GPL)☆18Updated 9 years ago
- GUI toolkit for Ada using OpenGL☆15Updated 11 years ago
- mIRC Bot - Battle Arena☆19Updated 10 months ago
- Libro "El camino a un mejor programador"☆19Updated 11 years ago
- Ada-bindings for 0mq☆37Updated 8 months ago
- APL utilities for business applications☆9Updated last week
- A simple APL neural network.☆11Updated 8 years ago
- Diceware random password generation using the ANU quantum random number server as the randomness source☆17Updated 6 years ago
- OpenGL GUI toolkit library for Ada☆27Updated 11 years ago
- Simulation of the matching algorithm that pairs medical school graduates and residency programs☆22Updated 3 years ago
- APL function editor written in APL☆13Updated last week
- This project is obsolete is no longer developed, maintained or serviced!☆84Updated 6 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆25Updated 10 years ago
- Drake: A Runtime Library for gcc-Ada☆42Updated 4 years ago
- The Ada Microkernel Project☆114Updated 9 years ago
- Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)☆31Updated 4 years ago
- Naive Bayesian Classifier written in APL☆22Updated 6 years ago
- A wiki engine written in Perl 6☆51Updated 6 years ago
- ☆33Updated 9 years ago
- A G-code parser and CNC controller (in Ada)☆63Updated 5 years ago
- ANNSER is A Neural Network Simulator for Education and Research.☆9Updated 8 years ago
- Perl implementation for SPORE☆43Updated 7 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Ada Bare Bones OS development tutorial source code☆84Updated 8 years ago
- An Ada binding for Lua.☆42Updated 11 months ago
- Arc Runtime Project☆20Updated 11 years ago
- Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.☆29Updated 9 months ago
- RainMachine RESTful API (version 4)☆10Updated 2 years ago