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:
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆18Updated 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
- Le-Lisp by INRIA☆28Updated 2 years ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- The Aldor Programming Language☆34Updated 5 months ago
- ☆39Updated last week
- Art of Prolog Code☆36Updated 5 years ago
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- Source of metamath book☆48Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆37Updated 11 months ago
- MMIX 2009 – a RISC computer for the third millennium☆42Updated this week
- Reason about Term Rewriting Systems☆16Updated 3 years ago
- High-end Cryptographic Library☆44Updated 5 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- ☆34Updated 4 years ago
- ☆56Updated 8 years ago
- My Own Linear Lisp☆41Updated 6 years ago
- J for Android☆35Updated this week
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆52Updated 4 years ago
- Literate Programming in C/C++☆35Updated last week
- Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)☆111Updated 6 months ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"☆8Updated 11 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago