Alternatives and similar repositories for 00_General

Users that are interested in 00_General are comparing it to the libraries listed below

• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated this week
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 3 years ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆43Updated this week
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆126Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆68Updated last month
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆108Updated 2 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆112Updated 2 years ago
• j2kun / essays
  Short essays I've written
  ☆78Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 7 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• tuhdo / emacs-proglang
  Minimal Emacs distribution for beginners to use with Programming Languages course on Coursera
  ☆18Updated 9 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆27Updated 6 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆175Updated last month
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• ds26gte / tex2page
  ☆30Updated last year
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆41Updated this week
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆68Updated last year
• sagemath / sage-shell-mode
  Emacs front end for SageMath
  ☆107Updated last year
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• racket / plot
  ☆43Updated last month
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆97Updated 2 weeks ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago