vishnuravi / stablematchLinks
Simulation of the matching algorithm that pairs medical school graduates and residency programs
☆23Updated 4 years ago
Alternatives and similar repositories for stablematch
Users that are interested in stablematch are comparing it to the libraries listed below
Sorting:
- An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)☆9Updated 10 years ago
- A proof assistant.☆12Updated 9 years ago
- GUI toolkit for Ada using OpenGL☆15Updated 12 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- A simple APL neural network.☆12Updated 9 years ago
- Libro "El camino a un mejor programador"☆19Updated 12 years ago
- The Spire Programming Language☆59Updated 10 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- Utility functions to get images in and out of (GNU) APL☆6Updated 8 years ago
- A blog about Coq☆10Updated 4 years ago
- Ada-bindings for 0mq☆41Updated 2 months ago
- Naive Bayesian Classifier written in APL☆24Updated 7 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.☆29Updated last year
- A Latin-English Dictionary Program☆43Updated 13 years ago
- APL function editor written in APL☆13Updated 8 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Updated 5 years ago
- Ancient Religions mod for CK2☆15Updated 3 years ago
- Meld virtual machine.☆28Updated 9 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- A formalization of category theory in the Coq proof assistant.☆97Updated 8 months ago
- Porting of software foundations book to Agda☆38Updated 11 years ago
- This project is obsolete is no longer developed, maintained or serviced!☆85Updated 7 years ago
- The programming language that defies the laws of physics☆23Updated 7 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 11 years ago
- The Ada Microkernel Project☆115Updated 10 years ago
- OpenGL GUI toolkit library for Ada☆27Updated 12 years ago
- An Ada binding for Lua.☆44Updated last year