vishnuravi / stablematch
Simulation of the matching algorithm that pairs medical school graduates and residency programs
☆22Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for stablematch
- An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)☆9Updated 10 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆25Updated 10 years ago
- ☆33Updated 9 years ago
- A simple APL neural network.☆11Updated 8 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Arbitrary-precision floating-point numbers represented using scientific notation☆73Updated 4 months ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- A web server written in Coq.☆86Updated 8 years ago
- Reference type checker for the Lean theorem prover☆61Updated 7 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- A proof assistant.☆12Updated 8 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆13Updated 7 years ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆20Updated 9 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- ☆23Updated 13 years ago
- Formal semantics of LLVM IR in K☆44Updated 6 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- The Spire Programming Language☆59Updated 10 years ago
- ANNSER is A Neural Network Simulator for Education and Research.☆9Updated 8 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 10 years ago
- APL function editor written in APL☆13Updated last week
- The Ynot Project source code.☆21Updated 10 years ago
- A Brainfuck interpreter written in Agda☆49Updated 3 years ago
- second-order abstract syntax☆31Updated 3 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- Binary logical relations library for the Coq proof assistant☆20Updated 3 weeks ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Updated 9 years ago