Simulation of the matching algorithm that pairs medical school graduates and residency programs
☆24May 26, 2021Updated 5 years ago
Alternatives and similar repositories for stablematch
Users that are interested in stablematch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GUI toolkit for Ada using OpenGL☆15Jan 17, 2013Updated 13 years ago
- An Ada binding for the OpenCL host API☆18Nov 14, 2013Updated 12 years ago
- This project is obsolete is no longer developed, maintained or serviced!☆86Apr 2, 2018Updated 8 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 12 years ago
- Algorithmic music project for MIDIHACK 2014☆29May 21, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- mIRC Bot - Battle Arena☆21Apr 27, 2026Updated 6 months ago
- ☆31Sep 9, 2014Updated 12 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- OpenGL GUI toolkit library for Ada☆28Feb 15, 2013Updated 13 years ago
- Porting of software foundations book to Agda☆39Feb 16, 2014Updated 12 years ago
- The Spire Programming Language☆58Oct 23, 2014Updated 12 years ago
- GitHub's month-long game jam November 2016☆10May 11, 2026Updated 5 months ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 8 years ago
- An Image Dictionary for Co-dfns☆14Jun 16, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆10Jan 21, 2016Updated 10 years ago
- A complete workflow for converting API Blueprint to hosted documentation on S3☆15Jan 15, 2020Updated 6 years ago
- Cryptographic Constructions in the Type Theory of Agda☆51Aug 8, 2015Updated 11 years ago
- RESTful API documentation for De Lijn☆10Jul 4, 2015Updated 11 years ago
- Z Instant Comprehensive ABAP example - Search Source☆10Oct 24, 2014Updated 12 years ago
- Miller/pattern unification in Agda☆70Oct 29, 2025Updated last year
- A simple APL neural network.☆11May 11, 2016Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 11 years ago
- Summer school on programming in Agda☆68Aug 1, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- ANNSER is A Neural Network Simulator for Education and Research.☆11Aug 28, 2016Updated 10 years ago
- A complement to ANTLR to get a model from your AST and transform it☆14Apr 20, 2020Updated 6 years ago
- proof of concept using evasi0n security issue☆12Jan 13, 2014Updated 12 years ago
- ☆11Nov 17, 2015Updated 10 years ago
- A lovely pixelated fireplace simulator for Nintendo WiiU (ported from https://github.com/Marice/Fireplace-NX)☆13Jul 2, 2020Updated 6 years ago
- This tool will create JavaScript facades for Scala.js from typescript ambient declarations.☆18Feb 4, 2018Updated 8 years ago
- ☆12Aug 1, 2016Updated 10 years ago
- Python script to create CDX index files of WARC data☆16Sep 7, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A cross-platform web ui for HTPC☆11Jun 27, 2015Updated 11 years ago
- wherein I implement several substructural logics in Agda☆24Oct 8, 2018Updated 8 years ago
- ☆17Jan 20, 2016Updated 10 years ago
- PHPfileNavigator is state-of-the-art, open source web based application to complete manage your files and folders.☆12Feb 10, 2018Updated 8 years ago
- A DICOM Docker stack with ORTHANC Server, MariaDB database and MedDream frontend viewer.☆13Nov 3, 2022Updated 4 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆78Updated this week
- A script to backup and self-host the Titlekey site that is used by NUS downloaders☆11Dec 10, 2018Updated 7 years ago