OpenDiscreteMath/ibl-combinatorics external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

OpenDiscreteMath/ibl-combinatorics

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/OpenDiscreteMath/ibl-combinatorics)

Close

OpenDiscreteMath / ibl-combinatoricsView on GitHubMore

• External links
• Readme badge

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.

• alemonmk / pytgasu

  View on GitHub
  Automatic Telegram sticker uploader in Python3
  ☆14Apr 25, 2021Updated 5 years ago
• mitchkeller / applied-combinatorics

  View on GitHub
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆35Apr 30, 2026Updated 2 weeks ago
• iokasimov / monopati

  View on GitHub
  Well-typed paths
  ☆20Dec 17, 2018Updated 7 years ago
• estrattonbailey / poppy

  View on GitHub
  A tiny, fast, configurable popover in 1.6kb.
  ☆13Jan 3, 2023Updated 3 years ago
• mstksg / lens-typelevel

  View on GitHub
  Type-level lenses using singletons because why not
  ☆15Dec 19, 2018Updated 7 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• cvickery / IEEE-754

  View on GitHub
  Web page to analyze IEEE-754 floating point values.
  ☆19Oct 25, 2024Updated last year
• ludomotion / phantom

  View on GitHub
  Entity Component based Game Engine for XNA 4.0 (or FNA/MonoGame)
  ☆14May 23, 2024Updated last year
• ianhorswill / BotL

  View on GitHub
  Simplified logic programming language for Unity3D
  ☆11Sep 6, 2020Updated 5 years ago
• incrediblejr / iji2dgrid

  View on GitHub
  iji2dgrid is a grid that can be used to accelerate broadphase queries, or for coarse collision detection.
  ☆14Apr 23, 2018Updated 8 years ago
• hsluv / hsluv-emacs

  View on GitHub
  HSLuv implementation for Emacs ELisp (revision 4)
  ☆13Nov 30, 2018Updated 7 years ago
• emacsmirror / dired-plus

  View on GitHub
  Extensions to Dired
  ☆36Aug 25, 2025Updated 8 months ago
• fe9lix / AccessRank

  View on GitHub
  Swift implementation of the AccessRank algorithm for predicting revisitations and reuse.
  ☆16Mar 11, 2018Updated 8 years ago
• terhorst / rstviewer

  View on GitHub
  Live viewer for reStructuredText (RST) documents.
  ☆12Apr 3, 2026Updated last month
• idkwim / jsTaint

  View on GitHub
  Dynamic Taint Analysis in JavaScript
  ☆16Feb 24, 2011Updated 15 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• mikolalysenko / alpha-complex

  View on GitHub
  Computes the alpha complex of a point set in any dimension
  ☆14Mar 10, 2015Updated 11 years ago
• IFTE-EDA / strict-content-mathml-editor

  View on GitHub
  Web-based formula editor that creates strict content MathML
  ☆11Feb 8, 2022Updated 4 years ago
• project-numina / LeanGeo

  View on GitHub
  Solving Competition Geometry Problems in Lean
  ☆37Aug 26, 2025Updated 8 months ago
• syasini / Essential-Vim

  View on GitHub
  A concise cheat sheet for essential vim commands
  ☆13Mar 31, 2019Updated 7 years ago
• henrikmidtiby / TeXworks-scripts

  View on GitHub
  ☆22Dec 3, 2024Updated last year
• lixiangqi / medic

  View on GitHub
  Medic Package
  ☆10Nov 8, 2015Updated 10 years ago
• hitsoft / docker-drakonhub

  View on GitHub
  ☆10Nov 22, 2021Updated 4 years ago
• cbueche / openldap-passthru

  View on GitHub
  LDAP_MATCHING_RULE_IN_CHAIN matching rule for OpenLDAP
  ☆15Mar 27, 2024Updated 2 years ago
• ccdcoe / frankenstack

  View on GitHub
  Busted. With duct tape, spit and tears. Brought to you by beer.
  ☆12Nov 4, 2021Updated 4 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• jtourille / yaset

  View on GitHub
  Yet Another SEquence Tagger
  ☆10Dec 8, 2022Updated 3 years ago
• Torlus / mosquitto-twister

  View on GitHub
  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
• A-L-M-A / ALMA

  View on GitHub
  ☆11Apr 21, 2016Updated 10 years ago
• wjxway / WSA-Presentation

  View on GitHub
  Wolfram学生大使演讲PPT
  ☆14Aug 26, 2020Updated 5 years ago
• stacks / stacks-tools

  View on GitHub
  Tools for managing the TeX sources of the Stacks project
  ☆16Jun 8, 2024Updated last year
• bastien-roucaries / latex-pax

  View on GitHub
  ☆15Jun 7, 2022Updated 3 years ago
• skeeto / caliper

  View on GitHub
  Compute Emacs Lisp object sizes.
  ☆10Jan 25, 2014Updated 12 years ago
• converspace / converspace

  View on GitHub
  Personal publishing platform for social blogging. Kinda like what blogs should have evolved into.
  ☆45Nov 9, 2020Updated 5 years ago
• xieyuheng / cat

  View on GitHub
  A categorical semantics library in Agda.
  ☆16Dec 22, 2019Updated 6 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• disconcision / containment-patterns

  View on GitHub
  pattern combinators extending racket/match to capture 🔗 contexts 📦
  ☆20Jul 8, 2019Updated 6 years ago
• containers / docs

  View on GitHub
  Repository for all documentation written about tools hosted at github.com/containers
  ☆13Mar 29, 2023Updated 3 years ago
• batterseapower / ansi-wl-pprint

  View on GitHub
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Sep 6, 2019Updated 6 years ago
• ghseeli / grad-school-notes

  View on GitHub
  Our first-year mathematics graduate school notes
  ☆10Dec 20, 2021Updated 4 years ago
• VictorCMiraldo / generics-mrsop

  View on GitHub
  ☆21Mar 21, 2022Updated 4 years ago
• trueroad / extractpdfmark

  View on GitHub
  Extract PDFmark can extract page mode and named destinations as PDFmark from PDF.
  ☆17Jan 11, 2023Updated 3 years ago
• yihuaxiang / nodejs_chat

  View on GitHub
  14年使用socketio做的一个聊天室😂
  ☆13Feb 5, 2023Updated 3 years ago