GabrielDosReis / open-axiomLinks
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
☆25Updated 10 months ago
Alternatives and similar repositories for open-axiom
Users that are interested in open-axiom are comparing it to the libraries listed below
Sorting:
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- Literate Programming in C/C++☆33Updated last month
- SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme☆16Updated 3 years ago
- Small Fast S-Expression Library☆77Updated 6 months ago
- ☆30Updated 7 years ago
- MMIX 2009 – a RISC computer for the third millennium☆42Updated 2 weeks ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Updated 2 years ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆37Updated 9 months ago
- The Aldor Programming Language☆34Updated 4 months ago
- Manual translation of tex.web version 3.141592653 into C++ (and other related programs)☆20Updated 3 months ago
- ☆44Updated 8 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
- The CWEB System of Structured Documentation☆29Updated 9 years ago
- Joel Bartlett's fabled Scheme->C system☆82Updated 5 years ago
- ☆56Updated 8 years ago
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- Qt IDE☆45Updated 3 weeks ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 8 years ago
- The compiler and standard distribution for the C∀ programming language☆79Updated 2 weeks ago
- mirror of GNU Guile☆9Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 10 years ago
- ☆21Updated 12 years ago
- Tiny scheme implementation written in c++17☆29Updated 6 years ago
- Collection of builtin GNU TeXmacs plugins☆44Updated 4 months ago
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- ☆30Updated last year
- Chez Scheme☆15Updated 2 months ago
- My Own Linear Lisp☆40Updated 6 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago