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.
☆29Updated 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:
- Developing mathematics in Coq from the ground up☆24Updated last month
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆42Updated this week
- This repository contains the source html files for the website complex-analysis.com☆18Updated 2 weeks ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆47Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 months ago
- *cheep cheep shriek caw*☆97Updated 2 years ago
- Syntax trees for typst☆43Updated 2 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated last month
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- Native Markdown and Djot support for the SILE typesetting system☆45Updated 2 months ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆25Updated 2 months ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆14Updated this week
- ☆26Updated last month
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆14Updated last year
- A Typst package to display chessboards.☆27Updated last week
- Typst custom reader and writer for Pandoc☆46Updated 2 years ago
- A template for recipes in Typst☆17Updated 2 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated 2 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- UCalgary version of forallx, an introduction to formal logic☆115Updated 3 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Packages for the Maxima computer algebra system, contributed by users☆57Updated 4 months ago
- The microtype package☆110Updated 2 weeks ago
- LSPServer is a package that implements the Language Server Protocol for Wolfram Language and allows a Wolfram Language kernel to run as a…☆53Updated 2 years ago
- GitHub repo backing Programming Language Ranking website ⬇️☆34Updated 3 weeks ago
- emulate terminal screenshots in typst☆41Updated last year
- Draw simple venn diagrams using CeTZ☆20Updated 4 months ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- BQN implementation in Julia☆18Updated 3 years ago