GabrielDosReis / open-axiomView external linksLinks
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
☆26Aug 13, 2024Updated last year
Alternatives and similar repositories for open-axiom
Users that are interested in open-axiom are comparing it to the libraries listed below
Sorting:
- JavaScript applets with interactive Rubik's Cube-like puzzles.☆16Jan 2, 2025Updated last year
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Mar 8, 2024Updated last year
- Official repository of the FriCAS computer algebra system☆370Feb 4, 2026Updated last week
- Axiom is a free, open source computer algebra system☆393Aug 2, 2023Updated 2 years ago
- ☆32Sep 29, 2025Updated 4 months ago
- Binary analysis in HOL☆46Updated this week
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Jan 12, 2026Updated last month
- ☆31Aug 20, 2025Updated 5 months ago
- Adobe Illustrator CS4 Yosemite fix☆10Jul 7, 2015Updated 10 years ago
- Diffusion for EEG☆11Jan 2, 2023Updated 3 years ago
- QMK Homebrew Formulae☆16May 28, 2025Updated 8 months ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 2 months ago
- A jailbreak tweak to respring your device using the hardware buttons☆11Jun 9, 2020Updated 5 years ago
- Adobe Swatch Exchange (ASE) to JSON Converter☆12Apr 21, 2015Updated 10 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated 7 months ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 2 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆43Updated this week
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- Do not use☆15Jan 25, 2019Updated 7 years ago
- Code for Humanoids 2022 paper "Proprioceptive State Estimation with Kinematic Chain Modeling"☆12Mar 15, 2023Updated 2 years ago
- Forward proxy for golang☆11Jan 18, 2021Updated 5 years ago
- Share the schematic and layout (KiCad) for DIY USB2.0 4-PORTS HUB with CH334U☆13Mar 9, 2023Updated 2 years ago
- Courier Mail Server - shared libraries☆12Jan 31, 2026Updated 2 weeks ago
- Django/Angular/React software for graphing neural activity data (analog signals, spike trains etc.) read from Neo files.☆11Jan 23, 2026Updated 3 weeks ago
- A code formatting plugin for Geany using ClangFormat.☆11Sep 14, 2021Updated 4 years ago
- [DEPRECATED] Now JetBrains IDEs have native support for evaluating JSONPath expressions☆15Jun 5, 2023Updated 2 years ago
- The Structure and Interpretation of Deep Networks Handbook☆14Dec 14, 2024Updated last year
- Monocerus emulator framework☆11Mar 28, 2019Updated 6 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- Proving ground for changes to attohttpc☆12Jun 16, 2025Updated 7 months ago
- A toolkit for FileMaker plug-in developments in Common Lisp☆13Dec 26, 2025Updated last month
- A recruitment website for OpenCAS base on Meteor.☆10May 21, 2015Updated 10 years ago
- Code repository for our work on Quantum Pi☆10Jun 4, 2024Updated last year
- A monolithic kernel based on ArceOS.☆14May 24, 2025Updated 8 months ago
- Private repo that became SDL3_mixer. This repo is now archived!☆16Jul 23, 2025Updated 6 months ago
- Random Plotter scripts for HP7440A☆14May 23, 2019Updated 6 years ago
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago