A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators, and researchers.
☆36May 3, 2024Updated 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:
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆33Updated this week
- ☆27Feb 6, 2026Updated last month
- Converts a SourceGear Vault repository to Git☆16Apr 12, 2023Updated 2 years ago
- ☆10Dec 25, 2025Updated 2 months ago
- CosmosDB SQL-API client for Dart☆11Feb 24, 2026Updated last week
- TIBCO LABS™ Project ART☆11Aug 17, 2022Updated 3 years ago
- The Linguistics Pro font family is a part of a project for development of free-to-use fonts with the modern Bulgarian letterform model in…☆36Nov 22, 2025Updated 3 months ago
- Temporary/draft repository with luametatex☆39Feb 26, 2026Updated last week
- Pintograph simulator in Javascript☆12Oct 23, 2025Updated 4 months ago
- Get BibTeX from a DOI — fast☆28Updated this week
- knityak code for generating art for knit scarves☆11Jun 17, 2019Updated 6 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆13Jan 5, 2023Updated 3 years ago
- A type-safe HTTP client for Swift, inspired by Retrofit☆10Apr 10, 2019Updated 6 years ago
- raw maxwell models and maxwell fan website☆12Mar 26, 2025Updated 11 months ago
- DynELA Finite Element code v.3.0☆11Oct 22, 2020Updated 5 years ago
- A serif typeface designed for readability at small sizes.☆14Oct 29, 2024Updated last year
- LaTeX package to create free form slides with blocks placed on a grid☆41Dec 4, 2017Updated 8 years ago
- Fortran grammar for tree-sitter☆50Feb 17, 2026Updated 2 weeks ago
- Scaffold application to get started with Fabulous☆18Jun 23, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 5 years ago
- A drum machine programming language for Overtone, the Clojure music toolkit☆11Mar 29, 2020Updated 5 years ago
- ☆13Nov 24, 2025Updated 3 months ago
- GNAT Components Collection – Bindings to C libraries☆16Feb 11, 2026Updated 3 weeks ago
- Benchmarking library for fortran code☆12Feb 19, 2026Updated 2 weeks ago
- Classic Fortran games, public domain☆13Jan 23, 2024Updated 2 years ago
- A closer look at virtual camera setups, and how to exploit them in TouchDesigner☆10Feb 26, 2019Updated 7 years ago
- A utility for retrieving AI model information from various providers. Supports Anthropic, Cohere, Google, Ollama, and OpenAI (including O…☆17Mar 6, 2025Updated last year
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated last month
- node.js bindings for Azure Speech SDK☆13Updated this week
- Webmail notifications and actions for any desktop☆11Feb 17, 2026Updated 2 weeks ago
- calling GNU Octave functions from the Julia language☆11Jan 31, 2025Updated last year
- Ada Unit Testing Library☆10Aug 3, 2025Updated 7 months ago
- Mapping workshop for TouchDesigner Summit 2019☆12Aug 19, 2019Updated 6 years ago
- Samples bot using Bot Framework, FormFlow, LUIS, QnAMaker and Text Analytics API☆10Jul 7, 2023Updated 2 years ago
- Dependency-free and header-only C++11 XGen XPD cache I/O library.☆13Jun 23, 2019Updated 6 years ago
- Conway's Game of Life written in Fortran 77 for FreeDOS☆11Oct 8, 2021Updated 4 years ago