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
- Algorithmic music project for MIDIHACK 2014☆29Updated 11 years ago
- A simple APL neural network.☆12Updated 9 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- Diceware random password generation using the ANU quantum random number server as the randomness source☆17Updated 6 years ago
- GUI toolkit for Ada using OpenGL☆15Updated 12 years ago
- Ada-bindings for 0mq☆41Updated last month
- A proof assistant.☆12Updated 9 years ago
- Timing attack resistant type systems☆24Updated 10 years ago
- This project is obsolete is no longer developed, maintained or serviced!☆85Updated 7 years ago
- an implementation of Evolution for a course on Sw Dev☆10Updated 9 years ago
- sorear's Metamath system engine☆13Updated 9 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Archived materials related to Homotopy Type Theory.☆10Updated 13 years ago
- A clone of Chips Challenge in Haskell☆142Updated 10 years ago
- Julia set generator written for TempleOS☆23Updated 9 years ago
- A LaTeX package for proof carrying papers☆24Updated 8 years ago
- ☆23Updated 13 years ago
- Naive Bayesian Classifier written in APL☆24Updated 7 years ago
- Execute Node.js in your Fortran programs.☆33Updated 3 months ago
- SMACCMPilot flight controller☆32Updated 7 years ago
- An introductory tutorial for the Coq proof assistant.☆10Updated 6 years ago
- a git implementation in rust. yeah, I know..☆12Updated 8 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- OpenGL GUI toolkit library for Ada☆27Updated 12 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 7 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 11 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago