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:
- 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 8 months ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Kan: A browser extension for reading nLab☆33Updated 7 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆43Updated this week
- Recursive descent parser for Emacs Lisp☆18Updated 13 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆53Updated last year
- Purely Functional Data Structures☆13Updated 11 years ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- ☆30Updated last year
- Community contributions to the Grammatical Framework☆63Updated 2 weeks ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- Emacs Does Interactive Prolog☆45Updated last year
- ☆27Updated 2 years ago
- Extract PDFmark can extract page mode and named destinations as PDFmark from PDF.☆17Updated 3 years ago
- Open textbook on modal logic☆24Updated 7 months ago
- Our Ludum Dare entry☆20Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- Collection of helper packages for tex4ht configuration☆44Updated 7 months ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆18Updated 3 years ago
- A file-based mirror of the nLab wiki (HTML format).☆28Updated this week
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Repository for the QED interactive text and possible extensions☆117Updated last year
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated this week
- The Aldor Programming Language☆36Updated last week