dubrousky / mockmma
☆30Updated 7 years ago
Alternatives and similar repositories for mockmma:
Users that are interested in mockmma are comparing it to the libraries listed below
- Write LaTeX-formatted documents using J evaluation☆18Updated 8 years ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- ☆38Updated 2 weeks ago
- Simple computer algebra system☆64Updated 4 months ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆32Updated last year
- ☆43Updated last month
- ☆14Updated last year
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 2 months ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆42Updated 8 years ago
- Le-Lisp by INRIA☆28Updated 2 years ago
- The Aldor Programming Language☆34Updated 2 months ago
- Source of metamath book☆48Updated last year
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- A *LISP emulator☆34Updated 5 years ago
- Literate Programming in C/C++☆31Updated last week
- (in progress) Racket port of the SICM scmutils library☆35Updated 4 years ago
- Racket libraries for scientific computing☆18Updated last month
- Book lucid interpreter written in python☆24Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆36Updated 7 months ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆64Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- ☆26Updated last month
- Emacs mode for Lean☆70Updated last year
- ☆36Updated last week