sharpTrick / sage-notebook
sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.
☆15Updated 5 years ago
Alternatives and similar repositories for sage-notebook:
Users that are interested in sage-notebook are comparing it to the libraries listed below
- The MMT Language and System☆68Updated 6 months ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 10 years ago
- Commutative diagrams with TikZ☆47Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆51Updated this week
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- ☆34Updated 3 months ago
- - Documentation site☆38Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 5 months ago
- Painless general-purpose sampling.☆24Updated 3 months ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- Mathematical stories☆13Updated 4 years ago
- Game theory in Clojure☆18Updated 12 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆22Updated 2 years ago
- Lean Tutorials☆44Updated 4 years ago
- DIY Markov Chains.☆25Updated 3 months ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago
- Vector & affine spaces, linear maps, and derivatives☆47Updated 6 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆34Updated 4 years ago
- Examples of data analysis in Haskell☆19Updated 7 years ago