Foadsf / Awesome-FLOSS-CAS
A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators, and researchers.
☆15Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for Awesome-FLOSS-CAS
- emulate terminal screenshots in typst☆28Updated 9 months ago
- Binary Lambda Calculus Virtual Machine☆45Updated 9 months ago
- A minimal modern (Lua)TeX distribution☆8Updated 6 months ago
- A typst wasm plugin to use graphviz directly inside documents☆83Updated 2 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆55Updated last month
- Temporary/draft repository with luametatex☆33Updated this week
- Difference calculations for the terminal☆12Updated 10 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆42Updated last week
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆22Updated this week
- Official repo of the UNIX-like Operating System "Quantix".☆27Updated last month
- A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.☆11Updated 5 months ago
- A library for diagonal line dividers in Typst tables☆19Updated last month
- Provides an firefox extension to create citations in the hayagriva format used by typst☆13Updated last year
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- A Typst package to display chessboards.☆17Updated 4 months ago
- An experimental non-deterministic concatenative golfing language☆21Updated last month
- A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.☆24Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- ☆16Updated last year
- Native Markdown and Djot support for the SILE typesetting system☆39Updated last month
- Lean 4 library for pretty printing expressions as LaTeX☆13Updated 5 months ago
- A type-safe C successor that compiles directly to various platforms.☆138Updated last month
- ☆67Updated 3 months ago
- A package manager for typst☆42Updated 2 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆79Updated last year
- Terminal CLI to Mathics3☆52Updated last week
- Notes from the stream where I was checking out QBE☆17Updated 8 months ago
- Insert and edit Typst equations in Inkscape☆17Updated 6 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆57Updated 3 months ago