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:
- Literate Programming in C/C++☆37Updated 3 weeks ago
- Computer calculations made easy☆138Updated last year
- ☆30Updated 7 years ago
- MMIX 2009 – a RISC computer for the third millennium☆44Updated this week
- Axiom is a free, open source computer algebra system☆393Updated 2 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆42Updated last week
- Literate Programming in C/C++☆99Updated 3 weeks ago
- ☆58Updated 8 years ago
- Small Fast S-Expression Library☆86Updated last year
- Manual translation of tex.web version 3.141592653 into C++ (and other related programs)☆19Updated 4 months ago
- Parser for language from Elements of Programming☆39Updated 12 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Updated 2 years ago
- Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"☆13Updated 10 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Metamath program - source code for the Metamath executable☆90Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆64Updated 8 years ago
- Compile-time LISP interpreter on C macro preprocessor☆145Updated 7 years ago
- Notes about TeXmacs☆29Updated 5 months ago
- A Tree Parser Generator☆102Updated last year
- The CWEB System of Structured Documentation☆30Updated 10 years ago
- persistent monitor (for static source code analysis, GCC based)☆61Updated last year
- The compiler and standard distribution for the C∀ programming language☆85Updated 2 weeks ago
- A Scheme to x86-64 compiler in Scheme☆81Updated 10 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 5 years ago
- ☆44Updated 9 years ago
- The Aldor Programming Language☆36Updated 10 months ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆50Updated 10 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago