XimeraProject / serverLinks
☆58Updated 2 weeks ago
Alternatives and similar repositories for server
Users that are interested in server are comparing it to the libraries listed below
Sorting:
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆70Updated 3 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆125Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆286Updated 8 months ago
- Multivariable calculus course materials☆56Updated 10 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 3 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆296Updated this week
- Author tools for creating Ximera activities☆42Updated this week
- "A First Course in Linear Algebra" open source textbook☆68Updated 3 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- Public repository for Abstact Algebra Theory and Applications☆174Updated 3 weeks ago
- ☆118Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 11 months ago
- 💧 Liquid Tensor Experiment☆205Updated last year
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 6 months ago
- Source code for the nLab☆183Updated 5 months ago
- DeepAlgebra☆25Updated 7 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆214Updated last week
- Tim Button's open textbook on set theory☆39Updated 2 months ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- ☆165Updated 5 years ago