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
- Tools for assembling a package archive☆25Updated this week
- ☆33Updated 6 years ago
- ☆13Updated last year
- Work by the late Michael Sean Mahoney, Professor of the History of Science at Princeton University, to create a history of Unix☆18Updated 7 months ago
- Open Source Precollege Algebra Textbook☆19Updated 2 months ago
- git-svn mirror of the TUGboat repository☆11Updated last week
- My vim configuration☆31Updated 2 years ago
- Collection of builtin GNU TeXmacs plugins☆42Updated last week
- Parsing the Common Lisp draft specification TeX sources☆40Updated 5 years ago
- Maxima, the descendant of Macsyma computer algebra system (CAS), ported to Android☆44Updated 8 years ago
- Shell Protocol Designs☆9Updated 6 years ago
- Source code of "How to learn Emacs" guide at https://david.rothlis.net/emacs/howtolearn.html☆42Updated 10 years ago
- Unit Testing framework for PicoLisp☆22Updated 4 years ago
- Autonomy is Organization☆16Updated 9 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 8 years ago
- colorized REPL for GNU Guile☆36Updated 6 years ago
- A library with a large (sparse) array mapping each unicode code point to the annotation data for it provided in http://www.unicode.org/Pu…☆35Updated 5 months ago
- Algebra Number Theory book☆48Updated 2 years ago
- Practical UNIX Manuals☆16Updated 5 years ago
- Literate Programming in C/C++☆30Updated 2 weeks ago
- A testing and building system for LaTeX☆93Updated 3 months ago
- Lightweight, interactive screen reader for Emacs☆26Updated 11 months ago
- fast, lightweight, versatile lisp environment☆36Updated 2 years ago
- an atomic odometer for the command line☆73Updated 7 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated 4 months ago
- Dictionary protocol client (RFC 2229) for Emacs☆17Updated 3 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- A collection of MathJax extensions provided by third-party contributors☆77Updated 4 years ago
- Tools for creating binary tarballs☆14Updated 3 years ago
- Emacs window session manager modeled after GNU screen☆29Updated 10 years ago