planetmath / 05_Combinatorics
☆10Updated last year
Alternatives and similar repositories for 05_Combinatorics:
Users that are interested in 05_Combinatorics are comparing it to the libraries listed below
- ☆21Updated last year
- Parsing the Common Lisp draft specification TeX sources☆40Updated 5 years ago
- Collection of builtin GNU TeXmacs plugins☆41Updated this week
- Tools for assembling a package archive☆25Updated 2 weeks ago
- Source code of "How to learn Emacs" guide at https://david.rothlis.net/emacs/howtolearn.html☆42Updated 10 years ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆41Updated 8 years ago
- CCLDoc documentation system used by Clozure CL☆33Updated 3 months ago
- fast, lightweight, versatile lisp environment☆36Updated 2 years ago
- A Common Lisp library for decompressing deflate, zlib, gzip, and bzip2 data☆17Updated 7 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 7 years ago
- ☆14Updated last year
- Installer of TeX Live - for issues please contact the tex-live mailing list at tug.org☆26Updated this week
- ☆40Updated 2 months ago
- Minimal Emacs distribution for beginners to use with Programming Languages course on Coursera☆18Updated 8 years ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated 11 months ago
- Presenting slides with Emacs☆52Updated 5 years ago
- A Lexical Analyzer Generator☆60Updated last month
- Unofficial bindings to Rigetti Forest in Common Lisp.☆10Updated 6 years ago
- Quacee quantum computing language☆11Updated 7 years ago
- Algebra Number Theory book☆47Updated 2 years ago
- ☆17Updated last year
- TOML (Tom's Obvious, Minimal Language) parser and generator☆17Updated 10 months ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- Library Documentation Hosting for Common Lisp.☆90Updated 9 years ago
- ManKai Common Lisp☆33Updated 8 months ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 13 years ago
- a conforming ISLisp processor KISS☆16Updated 5 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆51Updated 14 years ago