XimeraProject / serverLinks
☆59Updated 3 months ago
Alternatives and similar repositories for server
Users that are interested in server are comparing it to the libraries listed below
Sorting:
- "A First Course in Linear Algebra" open source textbook☆68Updated last week
- PreTeXt: an authoring and publishing system for scholarly documents☆301Updated last week
- Riemann Hypothesis book☆74Updated 7 years ago
- A semantic Extension of TeX/LaTeX☆54Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Repository for the QED interactive text and possible extensions☆107Updated 9 months ago
- Public repository for Abstact Algebra Theory and Applications☆175Updated 3 months ago
- Author tools for creating Ximera activities☆43Updated 3 weeks ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Updated 8 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆110Updated 4 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last week
- Commutative diagrams with TikZ☆53Updated 3 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- Tim Button's open textbook on set theory☆40Updated 4 months ago
- Applied Discrete Structures using PreTeXt☆45Updated 2 weeks ago
- Multivariable calculus course materials☆56Updated 10 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated this week
- Lecture notes from Cambridge maths☆71Updated last year
- The Principia Rewrite☆228Updated 9 months ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Updated 5 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- ☆119Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- Source code for the nLab☆189Updated 8 months ago
- Kan: A browser extension for reading nLab☆31Updated 7 years ago
- Domain-Specific Languages of Mathematics☆444Updated 2 months ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆217Updated last week