planetmath / 00_GeneralLinks
☆37Updated 7 years ago
Alternatives and similar repositories for 00_General
Users that are interested in 00_General are comparing it to the libraries listed below
Sorting:
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- ☆30Updated 7 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated this week
- Tea Time Numerical Analysis☆26Updated 3 years ago
- MMIX 2009 – a RISC computer for the third millennium☆43Updated this week
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- "A First Course in Linear Algebra" open source textbook☆68Updated last month
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Hevea is a fast latex to html translator☆108Updated 2 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- Short essays I've written☆78Updated last year
- The Aldor Programming Language☆35Updated 7 months ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Minimal Emacs distribution for beginners to use with Programming Languages course on Coursera☆18Updated 9 years ago
- Let's translate works of Grothendieck☆27Updated 6 years ago
- Tim Button's open textbook on set theory☆39Updated 2 months ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated last month
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- ☆30Updated last year
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated this week
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- Emacs front end for SageMath☆107Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- ☆43Updated last month
- Collection of animals and other beings drawn in TikZ☆97Updated 2 weeks ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago