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.
☆20Updated 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:
- A human-friendly notation for Unicode symbols.☆20Updated 2 weeks ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆106Updated 3 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last week
- BQN implementation in Julia☆18Updated 3 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- Binary Lambda Calculus Virtual Machine☆54Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 2 months ago
- An implementation of interaction nets as a forth-like language.☆33Updated last week
- Developing mathematics in Coq from the ground up☆20Updated 9 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- A borrow checker for Julia☆110Updated 3 weeks ago
- Insert and edit Typst equations in Inkscape☆23Updated 11 months ago
- Packages for the Maxima computer algebra system, contributed by users☆53Updated 3 months ago
- A list of awesome libraries for BQN.☆32Updated 5 months ago
- Easy binding for raylib in Julia☆15Updated 2 years ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆20Updated 11 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- A minimal modern (Lua)TeX distribution☆8Updated last year
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- DevOps for Dyalog APL☆16Updated 4 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆23Updated this week
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- The "Assumptions of Physics" book☆27Updated this week
- Temporary/draft repository with luametatex☆36Updated last week
- My Advent of Code solutions☆22Updated 4 months ago
- Python implementation of the monster group☆42Updated last week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- GNU SETL☆30Updated 3 months ago
- Lout Document Formatting System☆47Updated 2 months ago