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:
- Author tools for creating Ximera activities☆41Updated this week
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- A semantic Extension of TeX/LaTeX☆52Updated 2 weeks ago
- FreeTikZ☆37Updated 7 years ago
- Tim Button's open textbook on set theory☆37Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆288Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Applied Discrete Structures using PreTeXt☆44Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last month
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆82Updated last year
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated 8 months ago
- DeepAlgebra☆25Updated 7 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 10 months ago
- www☆16Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A database app for ring theory☆22Updated 2 weeks ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆31Updated last year
- Let's translate works of Grothendieck☆25Updated 5 years ago
- Commutative diagrams with TikZ☆52Updated 2 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- multilingual dictionary of mathematical terminology☆19Updated 7 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- A program for drawing knots and links, with support for importing images☆32Updated last year