GabrielDosReis / open-axiomLinks
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
☆26Updated 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:
- Computer calculations made easy☆135Updated last year
- Literate Programming in C/C++☆35Updated last month
- MMIX 2009 – a RISC computer for the third millennium☆43Updated last week
- Axiom is a free, open source computer algebra system☆385Updated 2 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated this week
- ☆30Updated 7 years ago
- Literate Programming in C/C++☆93Updated last month
- Small Fast S-Expression Library☆80Updated 8 months ago
- Official repository of the FriCAS computer algebra system☆345Updated 3 weeks ago
- ☆57Updated 8 years ago
- Library for exact real number computations☆40Updated 10 years ago
- The CWEB System of Structured Documentation☆30Updated 9 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- ☆30Updated last year
- A Tree Parser Generator☆99Updated 11 months ago
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- ☆44Updated 8 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Metamath program - source code for the Metamath executable☆84Updated last month
- Manual translation of tex.web version 3.141592653 into C++ (and other related programs)☆19Updated last week
- Parser for language from Elements of Programming☆37Updated 11 years ago
- persistent monitor (for static source code analysis, GCC based)☆59Updated last year
- Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"☆13Updated 9 years ago
- Compile-time LISP interpreter on C macro preprocessor☆144Updated 7 years ago
- another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…☆65Updated 4 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- A Scheme to x86-64 compiler in Scheme☆80Updated 10 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated 11 months ago