XimeraProject / serverLinks
☆59Updated 4 months ago
Alternatives and similar repositories for server
Users that are interested in server are comparing it to the libraries listed below
Sorting:
- Author tools for creating Ximera activities☆43Updated last month
- Riemann Hypothesis book☆74Updated 8 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆303Updated 2 weeks ago
- Repository for the QED interactive text and possible extensions☆110Updated 10 months ago
- "A First Course in Linear Algebra" open source textbook☆69Updated last month
- Working through Structure and Interpretation of Classical Mechanics.☆127Updated last month
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- A semantic Extension of TeX/LaTeX☆54Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Coauthor supercollaboration/discussion forum☆266Updated 2 months ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- DeepAlgebra☆25Updated 8 years ago
- Domain-Specific Languages of Mathematics☆445Updated 3 months ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆111Updated 4 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Updated 8 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆75Updated 3 years ago
- Lecture notes from Cambridge maths☆71Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated 2 weeks ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- ☆123Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆46Updated 7 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- MathWebSearch Implementation☆48Updated 3 years ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- Multivariable calculus course materials☆56Updated 10 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆321Updated last year
- Applied Discrete Structures using PreTeXt☆45Updated last week