A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators, and researchers.
☆46May 3, 2024Updated 2 years ago
Alternatives and similar repositories for Awesome-FLOSS-CAS
Users that are interested in Awesome-FLOSS-CAS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Julia interface to the Giac computer algebra system☆18Updated this week
- Aide Mémoire Radio☆18May 13, 2024Updated 2 years ago
- The library supports the analog keypad and button array that connects to a single analog input pin. It is designed for Arduino, ESP32, ES…☆10Feb 11, 2022Updated 4 years ago
- Mathlib search tool☆148Jul 9, 2026Updated last month
- Source code of Julian Valentin's PhD thesis (arXiv version): “B-Splines for Sparse Grids: Algorithms and Application to Higher-Dimensiona…☆12Nov 28, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- APC power switch automation (NOTE: project moved to https://github.com/scls19fr/APC)☆18Oct 18, 2017Updated 8 years ago
- LaTeX-ed class notes (German) taken during various mathematics and computer science classes☆12Nov 28, 2020Updated 5 years ago
- Rust bindings to [primesieve](http://primesieve.org)☆10May 7, 2017Updated 9 years ago
- Number names in R 2️⃣💬☆14Mar 15, 2024Updated 2 years ago
- ☆12Jan 2, 2024Updated 2 years ago
- An introductory part of the workshop prepared for JuliaCon2023☆19Jan 20, 2024Updated 2 years ago
- A Distributed Synchronization Library for Golang Built On Top of Object Storage.☆14Apr 18, 2024Updated 2 years ago
- SVG and Mathml rendering library☆27Jul 21, 2026Updated 3 weeks ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lightweight UTF-8 Processing☆12Mar 23, 2024Updated 2 years ago
- Introduction à la programmation en Julia (livre)☆15Oct 28, 2021Updated 4 years ago
- Collection of small Lua modules☆10Feb 15, 2026Updated 5 months ago
- lpeg based parser -> highlighter for m in nvim☆18Oct 18, 2018Updated 7 years ago
- Binary file format for ASCII/ANSI art.☆18May 31, 2021Updated 5 years ago
- Identity Server that supports SCIM, LDAP, SAMLv2 and OpenIDConnect☆11Oct 5, 2022Updated 3 years ago
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- Pure-Julia IO primitives (io readiness polling, timers, sockets, TLS, etc.)☆21Updated this week
- Fast new algorithms for finding the medians, implemented in Rust☆15Jun 14, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Tool for Behavior Driven Development in Julia☆29Jun 11, 2026Updated 2 months ago
- Custom fonts for GoboLinux☆14Jun 14, 2022Updated 4 years ago
- View an NOAA weather forecast for a specific geographic location.☆17Feb 11, 2024Updated 2 years ago
- rdiv!(::AbstractMatrix, ::UpperTriangular) and ldiv!(::LowerTriangular, ::AbstractMatrix)☆11Updated this week
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- ☆83Updated this week
- Pascal and C code from Samuel Kamin's "Programming Languages: an Interpreter-Based Approach"☆12Nov 22, 2018Updated 7 years ago
- ☆32Jul 18, 2026Updated 3 weeks ago
- Repository containing the code for training the CroissantLLM☆21Feb 4, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Web-based nap calculator - Given preferred wake windows and desired bedtime, generates suggestions on when to cap a nap and when to start…☆10Apr 18, 2021Updated 5 years ago
- A Neovim Linux plugin to easy encrypt and decrypt your secured directory☆13Jan 28, 2025Updated last year
- Cross-Linguistic Transcription Systems☆17Mar 20, 2026Updated 4 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 2 years ago
- Webmail notifications and actions for any desktop☆11Updated this week
- search for files in a directory hierarchy☆11Oct 16, 2024Updated last year