jcponce / calculusLinks
Applets about Calculus
☆38Updated last year
Alternatives and similar repositories for calculus
Users that are interested in calculus are comparing it to the libraries listed below
Sorting:
- A toy Wolfram language interpreter.☆35Updated 10 months ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆52Updated 3 years ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆17Updated 7 years ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- Can you write a shorter Javascript version of Conway's game of life?☆16Updated 5 years ago
- Catalog of Visual Math Tools☆98Updated 3 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- WebAssembly implementation of the Uxn virtual machine☆46Updated last year
- Lua REPL that gives you a feel for its internals☆51Updated 2 years ago
- *cheep cheep shriek caw*☆93Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- This repository contains the source html files for the website complex-analysis.com☆16Updated 2 months ago
- An infinite canvas implementation in <500 LOC.☆25Updated last year
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- Learn Lean and topology☆24Updated 2 years ago
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Handwriting and gesture recognition with line integrals.☆18Updated 4 years ago
- Here we give programs that check if Turing machines halt or not.☆11Updated 5 months ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- ☆11Updated last month
- Terminal CLI to Mathics3☆59Updated this week
- Art1 by Richard Williams, 1968☆46Updated last year
- String diagrams in LaTeX.☆16Updated last year
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆16Updated last year
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year