☆31Jan 20, 2018Updated 8 years ago
Alternatives and similar repositories for mockmma
Users that are interested in mockmma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- Code for Harmonic Exponential Families on Manifolds☆10Jun 2, 2016Updated 10 years ago
- Documentation for Macro SPITBOL☆14Jan 28, 2026Updated 6 months ago
- C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.☆11Dec 15, 2017Updated 8 years ago
- Franz Lisp dialect Lisp system☆56May 1, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Vi-like editing for Wolfram Notebooks☆11May 15, 2023Updated 3 years ago
- A simple Wolfram Language clone in Haskell☆247Jul 10, 2019Updated 7 years ago
- Wolfram Function Repository Issue Tracer☆13Sep 10, 2020Updated 5 years ago
- ML Basis for Poly/ML☆14Oct 18, 2025Updated 9 months ago
- Share data between Python - Julia - Matlab - Java - Wolfram Language (Mathematica) through memory☆34Dec 1, 2022Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 8 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆156Mar 3, 2026Updated 5 months ago
- A purely functional higher order logic kernel☆15May 18, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 11 years ago
- The Pascal-F Verifier☆52Jul 17, 2017Updated 9 years ago
- TeX Parser in Haskell☆11Aug 12, 2017Updated 8 years ago
- Source of metamath book☆57Dec 22, 2023Updated 2 years ago
- One-off tools and packages☆35Mar 4, 2021Updated 5 years ago
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 10 years ago
- A package for importing CSS files into the Wolfram Language☆21Nov 17, 2020Updated 5 years ago
- Python code for interactive parallel coordinates visualization on jupyter notebook.☆12Sep 8, 2019Updated 6 years ago
- Code release for the paper "Calibrating Energy-based Generative Adversarial Networks"☆24Oct 31, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mirror of Epigram 2, by Conor McBride, et al.☆59Jun 10, 2020Updated 6 years ago
- Physics Derivation Graph: mathematical connections among equations☆23Jul 25, 2026Updated 2 weeks ago
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTML☆12Mar 11, 2025Updated last year
- mathematica (miscellaneous)☆19Nov 1, 2025Updated 9 months ago
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago
- Unofficial port of the CVS version of matlab-mode with fixes and new features.☆17Mar 31, 2016Updated 10 years ago
- Jupyter Kernel for Mathics☆20Oct 26, 2016Updated 9 years ago
- ASCII 🐮s☆12May 23, 2019Updated 7 years ago
- An easy IDE for Mathematica in Mathematica☆22May 20, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Nov 1, 2024Updated last year
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 9 years ago
- Web component that implement Acrylic texture of Axiom Design System.☆14Jan 7, 2023Updated 3 years ago
- this repo contains a perl script that converts a spotify uri to a playlist of tracks and artists; a shell scripts that gives the most lik…☆19Sep 9, 2012Updated 13 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- A suite of Mathematica tools aimed at making development easier☆49May 20, 2019Updated 7 years ago
- Examples from the class CMSC 330 during Summer 2015☆49Jul 23, 2015Updated 11 years ago