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:
- ☆18Jan 8, 2026Updated 5 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆35Apr 30, 2026Updated last month
- ☆11Aug 27, 2018Updated 7 years ago
- Well-typed paths☆20Dec 17, 2018Updated 7 years ago
- Modular arithmetic, promoting moduli to the type level☆24Jun 2, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A tiny, fast, configurable popover in 1.6kb.☆13Jan 3, 2023Updated 3 years ago
- Web page to analyze IEEE-754 floating point values.☆19Oct 25, 2024Updated last year
- iji2dgrid is a grid that can be used to accelerate broadphase queries, or for coarse collision detection.☆14Apr 23, 2018Updated 8 years ago
- HSLuv implementation for Emacs ELisp (revision 4)☆13Nov 30, 2018Updated 7 years ago
- Extensions to Dired☆36Aug 25, 2025Updated 9 months ago
- Live viewer for reStructuredText (RST) documents.☆12Apr 3, 2026Updated 2 months ago
- A C++ starter kit for the great Vindinium AI challenge☆11Jul 16, 2015Updated 10 years ago
- DCSS Fork developed through a democratic process.☆13Nov 1, 2019Updated 6 years ago
- ☆22Dec 3, 2024Updated last year
- 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.
- Some CSS experiments for arXiv HTML documents converted via latexml☆20May 15, 2026Updated 3 weeks ago
- ☆10Nov 22, 2021Updated 4 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 2 weeks ago
- Yet Another SEquence Tagger☆10Dec 8, 2022Updated 3 years ago
- Proof-of-concept of a fully distributed MQTT broker for the IoT. Uses Twister platform, Bitcoin and Bittorrent protocols.☆28May 11, 2014Updated 12 years ago
- 几何表达式仓库☆11Nov 4, 2025Updated 7 months ago
- Tool to transform an OWL ontology into an OpenAPI Specification☆17May 31, 2021Updated 5 years ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated 2 years ago
- Work seamlessly with GitHub gists from Emacs.☆51May 8, 2026Updated last month
- 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.
- Radiology Protocol Tool Recorder (RAPTOR) is an automated, electronic tool allowing radiologists to optimize advanced medical imaging pro…☆14Jan 30, 2018Updated 8 years ago
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- ☆21Mar 21, 2022Updated 4 years ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- epub2sphinx is a tool to convert epub files to ReST for Sphinx☆11Apr 8, 2023Updated 3 years ago
- A multi-dimensional database navigator and editor☆19Jan 4, 2016Updated 10 years ago
- Cython implementation of the Sequential Segmentation Algorithm of Hubert, Padovese and Stern☆15Oct 17, 2019Updated 6 years ago
- Orchard Opetopic Proof Assistant☆29May 2, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tasty Bits of Several Complex Variables, graduate textbook☆21May 31, 2026Updated last week
- Constructive Generation Methods for Dungeons and Levels☆21Feb 8, 2018Updated 8 years ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆44Mar 25, 2026Updated 2 months ago
- Personal opinions of Standards and Policies☆14Aug 22, 2021Updated 4 years ago
- Creates a counting system of radixes such as base 12 or mixed radixes such as Minutes/Hours/Days/Years (60/60/24/365)☆13May 8, 2019Updated 7 years ago
- Reactive version of the Federated RDF-Based Hybrid Search Engine☆14Sep 24, 2018Updated 7 years ago
- Symbolic Differentiation with Elm☆15Mar 14, 2023Updated 3 years ago