prathyvsh / history-of-mathematics
Catalogue of the hisotry of Mathematics
☆33Updated 2 years ago
Alternatives and similar repositories for history-of-mathematics:
Users that are interested in history-of-mathematics are comparing it to the libraries listed below
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 4 months ago
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- tiny experimental language for limited environments☆17Updated last year
- A framework for generative art.☆60Updated 4 years ago
- This is a library for "Overveld-style" constraint relaxation.☆67Updated last year
- Repo to track the evolution of notation in arts and sciences☆137Updated 2 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆10Updated 9 years ago
- A dynamic data-driven document development environment (DDDDDE)☆81Updated last year
- Standard library for the Formality language☆18Updated 4 years ago
- Catalogue on the nature and bounds of thought☆27Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 7 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Reference implementation of Knowledge Server Protocol (KSP)☆49Updated 4 years ago
- Synless is a language-agnostic tree editor.☆21Updated 2 weeks ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated 3 months ago
- ☆24Updated 3 years ago
- ☆9Updated last year
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- in-progress 🚧 explosional 💥 editor☆18Updated 2 years ago
- Tunable sorting for responsive robustness and beyond☆18Updated last week
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- programmable space at Recurse Center☆53Updated 11 months ago
- Catalog of Visual Math Tools☆94Updated 2 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago