dubrousky / mockmmaLinks
☆30Updated 7 years ago
Alternatives and similar repositories for mockmma
Users that are interested in mockmma 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/…☆41Updated this week
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Source of metamath book☆51Updated last year
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- ☆57Updated 8 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆38Updated last year
- The Aldor Programming Language☆35Updated 7 months ago
- ☆39Updated 3 weeks ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Dyalog APL Extended☆28Updated last year
- Le-Lisp by INRIA☆34Updated 2 years ago
- Computer calculations made easy☆135Updated last year
- Intuitionistic Programming Language☆12Updated 11 years ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆114Updated 8 months ago
- J for Android☆35Updated last month
- A Tensor Language☆55Updated 4 years ago
- MMIX 2009 – a RISC computer for the third millennium☆43Updated last week
- Literate Programming in C/C++☆35Updated 2 months ago
- A pattern match macro for chez-scheme☆19Updated 8 years ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 2 weeks ago
- ☆34Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- High-end Cryptographic Library☆44Updated 5 years ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- ☆26Updated last month
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Deposited packages of the homalg project☆16Updated 3 weeks ago