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:
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 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
- ☆14Updated 2 years ago
- ☆38Updated 2 months 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
- Source of metamath book☆48Updated last year
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- The Aldor Programming Language☆34Updated 4 months ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated 3 months ago
- ☆56Updated 8 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- Deposited packages of the homalg project☆15Updated 2 months ago
- Qt IDE☆45Updated last month
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆110Updated 5 months ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆37Updated 10 months ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 9 months ago
- Emacs Does Interactive Prolog☆41Updated 9 months ago
- Literate Programming in C/C++☆33Updated 2 months ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps☆17Updated last month
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆17Updated 2 years ago