Dev tools · alternatives · 2026
24 alternatives to Abstract Calculus, a massively parallel model of computation
Contribute to VictorTaelin/abstract-calculus development by creating an account on GitHub.
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Abstract Calculus, a massively parallel model of computation launched in 2018; newer entries below may have overtaken it.
- 1
A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.
2015 · github.com · its alternatives →
- 2
2021 · mathlingua.org · its alternatives →
- 3IC
Ximera provides the backend technology for online courses
2018 · ximera.osu.edu · its alternatives →
- 4
Visual explanations of Algorithms and Data structures
2020 · chrislaux.com · its alternatives →
- 5
2017 · craftinginterpreters.com · its alternatives →
- 6
Creating high-quality scientific figures can be time-consuming and challenging, even though sketching ideas on paper is relatively easy. Furthermore, recreating existing figures that are not stored in formats preserving semantic information is equally complex. To tackle this problem, we introduce DeTikZify, a novel multimodal language model that automatically synthesizes scientific figures as semantics-preserving TikZ graphics programs based on sketches and existing figures. We also introduce a Monte Carlo Tree Search-based inference algorithm that enables DeTikZify to iteratively refine its…
2024 · github.com · its alternatives →
- 7
A virtual reality tool for mathematical modeling! Contribute to matryx/calcflow development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 8
ArtMathCode▲108Where Art meets Math and comes to life through Code.
2025 · artmathcode.net · its alternatives →
- 9PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 10AI
2023 · x0axz.com · its alternatives →
- 11
2018 · erkaman.github.io · its alternatives →
- 12
Propositional calculus in Haskell. Contribute to ColemanGariety/derivation-machine development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 13
Hey HN! I've been curious about the history of computer science and decided to try to read Turing's 1936 paper where he conceptualizes the Turing Machine, etc. I had trouble understanding the paper, read The Annotated Turing by Charles Petzold (which is wonderful), but felt that reading a reference implementation would help formalize my understanding. When I couldn't find an open source implementation, I decided to write my own. The implementation includes: - Abbreviated tables (m-functions) - Conversions to Standard Descriptions and Description Numbers - A working universal machine - A…
2023 · github.com · its alternatives →
- 14
80+ Mathematical,Scientific,Business,Financial calculator.
2017 · unicepts.in · its alternatives →
- 15
Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA) - FdelMazo/cl-aristid
2020 · github.com · its alternatives →
- 16
2020 · alan-lang.org · its alternatives →
- 17
Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated. I recently revived and cleaned up the project and published it as an interactive web version: https://bntre.github.io/visual-lambda/ GitHub repo: https://github.com/bntre/visual-lambda It also includes a small "Lambda Puzzles" challenge, where you try to extract a hidden free variable (a golden coin) by constructing the right term:…
Feb 2026 · github.com · its alternatives →
- 18
A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud - GitHub - transient-haskell/transient-universe: A Cloud monad based on transient for the creation of Web and reactive distr
2016 · github.com · its alternatives →
- 19IA
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks.
2023 · i2forge.com · its alternatives →
- 20GA
A tool to paste functions, transformations, and structures on a geometric plane
2014 · gridpaste.io · its alternatives →
- 21
Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)
2025 · github.com · its alternatives →
- 22
visual representation of math equations
2023 · particlo.org · its alternatives →
- 23MM
2016 · mathquill.com · its alternatives →
- 24
We just released a fully computer-animated multivariable calculus course in six languages: English, Spanish, German, French, Italian, and Portuguese. Free and open to everyone. Half the course is live now; the rest is coming very soon. We're an early-stage edtech startup. Our goal: use AI to build high-quality, computer-animated versions of every STEM course in the world, in every language, and bring them together on a platform like Coursera, but built for the AI age, with deep LLM integration. We want that literally. Every course. Every language. This project simply couldn't exist without…
Jan 2026 · calculus.academa.ai · its alternatives →
Also compare
- Caramel – a modern syntax for the lambda calculus alternatives
- MathLingua – A Structured Language of Mathematics alternatives
- Interactive Calculus via LaTeX alternatives
- Collection of animated algorithms and data structures alternatives
- “Crafting Interpreters” chapter, control flow and Turing-completeness alternatives
- Synthesize TikZ Graphics Programs for Scientific Figures and Sketches alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →