OpenDiscreteMath / ibl-combinatoricsLinks
Combinatorics through Guided Discovery
☆20Updated 2 years ago
Alternatives and similar repositories for ibl-combinatorics
Users that are interested in ibl-combinatorics are comparing it to the libraries listed below
Sorting:
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- Emacs Does Interactive Prolog☆44Updated last year
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆53Updated 10 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29Updated 7 months ago
- tool for working with conllu files in CL☆13Updated 4 years ago
- The 1973 survey of Holon Programming by Pierre-Arnoul de Marneffe☆21Updated last year
- please use https://forums.matthewbutterick.com/c/typesetting/ instead☆52Updated 3 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last week
- document-layout tools [mirror of https://git.matthewbutterick.com/mbutterick/typesetting]☆35Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆54Updated this week
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- CHR: Leuven Constraint Handling Rules☆26Updated this week
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Pads format description language☆21Updated 10 years ago
- tex engine detection☆16Updated 4 months ago
- Free Life Planner: An AI tool for helping with planning for day-to-day life.☆69Updated last year
- Experimental Typesetting Algorithms Platform☆25Updated this week
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆60Updated 6 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- Community contributions to the Grammatical Framework☆62Updated last year
- 📘🌼 A bunch of Pollen recipes☆30Updated 3 years ago
- Hevea is a fast latex to html translator☆114Updated 2 months ago
- Recursive descent parser for Emacs Lisp☆18Updated 13 years ago
- LuaTeX package lua-visual-debug☆19Updated this week
- ☆30Updated last year
- some maths papers in English☆19Updated last month
- ☆14Updated 2 years ago