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:
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆40Updated this week
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- ☆28Sep 10, 2026Updated last month
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 9 months ago
- iji2dgrid is a grid that can be used to accelerate broadphase queries, or for coarse collision detection.☆14Apr 23, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A powerful, plugin-based, multi-purpose Telegram bot designed to serve a wide variety of purposes based on mattata!☆10Oct 13, 2020Updated 6 years ago
- Code for a web application to highlight citations to retracted articles.☆11Dec 24, 2021Updated 4 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Audio Metadata Viewer☆12Dec 4, 2025Updated 10 months ago
- Steve Baker's Tree Command for Linux☆11Jan 12, 2015Updated 11 years ago
- ☆10Nov 22, 2021Updated 4 years ago
- A utility to turn on HDR rendering for a display using NVAPI☆12Jun 27, 2021Updated 5 years ago
- Visualization tools for dyce☆11Updated this week
- Personal opinions of Standards and Policies☆13Aug 22, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Docker container to automatically obtain letsencrypt certificates using the lexicon DNS library☆11Feb 20, 2020Updated 6 years ago
- LMNL syntax processing library. Currently an XSLT 2.0 stylesheet pipeline.☆12Oct 29, 2022Updated 4 years ago
- A mathquill-like interactive math input in a terminal, built with the charm TUI library.☆10Sep 11, 2026Updated last month
- 什么时候开饭？☆10Dec 5, 2023Updated 2 years ago
- Scripts for handling windows shadowcopy more efficient☆12May 29, 2026Updated 5 months ago
- Draft requesting the allocation and delegation of .internal for RFC1918 type use.☆12Jul 11, 2022Updated 4 years ago
- 几何表达式仓库☆11Sep 15, 2026Updated last month
- Like forward/back for browser, but for emacs point☆12Jan 2, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- JavaScript based graph visualization library with emphasis on customization and modularity.☆13Mar 21, 2019Updated 7 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 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
- Busted. With duct tape, spit and tears. Brought to you by beer.☆12Nov 4, 2021Updated 4 years ago
- ☆11Oct 10, 2018Updated 8 years ago
- Wolfram学生大使演讲PPT☆14Aug 26, 2020Updated 6 years ago
- pcs docker image with pacemaker and corosync☆11May 2, 2026Updated 5 months ago
- ☆15Dec 10, 2017Updated 8 years ago
- Random notes on mathematics (in German)☆14Oct 17, 2026Updated last week
- 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.
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- Bugtracker of novel-ebook.com☆12Aug 11, 2021Updated 5 years ago
- LDAP_MATCHING_RULE_IN_CHAIN matching rule for OpenLDAP☆15Mar 27, 2024Updated 2 years ago
- pattern combinators extending racket/match to capture 🔗 contexts 📦☆20Jul 8, 2019Updated 7 years ago
- Swift implementation of the AccessRank algorithm for predicting revisitations and reuse.☆16Mar 11, 2018Updated 8 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆21Sep 28, 2026Updated last month
- Repository of the Crowdsourced Open Citations Index (CROCI)☆10Mar 19, 2019Updated 7 years ago