Combinatorics through Guided Discovery
☆20Mar 9, 2023Updated 3 years ago
Alternatives and similar repositories for ibl-combinatorics
Users that are interested in ibl-combinatorics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic Telegram sticker uploader in Python3☆14Apr 25, 2021Updated 5 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆36Apr 30, 2026Updated last month
- ☆11Aug 27, 2018Updated 7 years ago
- Micro-Machinations Library☆32Dec 5, 2014Updated 11 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- Introduction to Secure Multi-Party Computations☆16Nov 13, 2018Updated 7 years ago
- iji2dgrid is a grid that can be used to accelerate broadphase queries, or for coarse collision detection.☆14Apr 23, 2018Updated 8 years ago
- ☆10Nov 22, 2021Updated 4 years ago
- Swift implementation of the AccessRank algorithm for predicting revisitations and reuse.☆16Mar 11, 2018Updated 8 years ago
- TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:☆15Mar 6, 2012Updated 14 years ago
- Series of worksheets designed to guide students through an inquiry based first year Linear Algebra course☆32Nov 4, 2025Updated 7 months ago
- A procedural quest generator using Tracery☆10Feb 14, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Computes the alpha complex of a point set in any dimension☆14Mar 10, 2015Updated 11 years ago
- Web-based formula editor that creates strict content MathML☆11Feb 8, 2022Updated 4 years ago
- A C++ starter kit for the great Vindinium AI challenge☆11Jul 16, 2015Updated 10 years ago
- Solving Competition Geometry Problems in Lean☆38Aug 26, 2025Updated 10 months ago
- A concise cheat sheet for essential vim commands☆13Mar 31, 2019Updated 7 years ago
- DCSS Fork developed through a democratic process.☆13Nov 1, 2019Updated 6 years ago
- ☆22Dec 3, 2024Updated last year
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Jun 10, 2026Updated 2 weeks 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.
- LDAP_MATCHING_RULE_IN_CHAIN matching rule for OpenLDAP☆15Mar 27, 2024Updated 2 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated last month
- Busted. With duct tape, spit and tears. Brought to you by beer.☆12Nov 4, 2021Updated 4 years ago
- Yet Another SEquence Tagger☆10Dec 8, 2022Updated 3 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆20May 17, 2026Updated last month
- JavaScript knot drawing and identification tool☆11Jul 20, 2016Updated 9 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 7 months ago
- ☆15Jun 7, 2022Updated 4 years ago
- Radiology Protocol Tool Recorder (RAPTOR) is an automated, electronic tool allowing radiologists to optimize advanced medical imaging pro…☆14Jan 30, 2018Updated 8 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.
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Mar 29, 2023Updated 3 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- ☆21Mar 21, 2022Updated 4 years ago
- ☆15Dec 10, 2017Updated 8 years ago