Foadsf / Awesome-FLOSS-CASLinks
A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators, and researchers.
☆21Updated last year
Alternatives and similar repositories for Awesome-FLOSS-CAS
Users that are interested in Awesome-FLOSS-CAS are comparing it to the libraries listed below
Sorting:
- This repository contains the source html files for the website complex-analysis.com☆16Updated 2 weeks ago
- A library for typesetting mathematical theorems in typst.☆17Updated 3 months ago
- A typst wasm plugin to use graphviz directly inside documents☆121Updated last week
- The "Assumptions of Physics" book☆27Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 3 months ago
- Riemann sum graphs in Typst with CeTZ☆20Updated last year
- A human-friendly notation for Unicode symbols.☆23Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆72Updated last week
- Developing mathematics in Coq from the ground up☆20Updated 10 months ago
- A library for diagonal line dividers in Typst tables☆25Updated 8 months ago
- A Typst package to display chessboards.☆22Updated 3 months ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆21Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆28Updated this week
- emulate terminal screenshots in typst☆37Updated last year
- Source for the d∃∀duction project.☆21Updated 2 weeks ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 6 months ago
- ☆22Updated 2 weeks ago
- A minimal modern (Lua)TeX distribution☆8Updated last year
- Typst custom reader and writer for Pandoc☆46Updated last year
- Insert and edit Typst equations in Inkscape☆22Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated last year
- Type safe type safety for Typst☆43Updated 4 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 10 months ago
- A LyX-like experience rewritten for Typst and the modern era☆85Updated 2 weeks ago
- Super figure is a vscode extension that implements integration for Inkscape and Gimp as means to quickly launch and edit figures and see …☆18Updated last year
- GitHub repo backing Programming Language Ranking website ⬇️☆33Updated 2 months ago
- VSCode extension for Metamath☆10Updated last month
- A package manager for local and remote Typst packages.☆72Updated 3 weeks ago