Mabi19 / numbers
An interactive exploration of various number formats
☆30Updated 3 months ago
Alternatives and similar repositories for numbers:
Users that are interested in numbers are comparing it to the libraries listed below
- a splitting sand game☆16Updated 2 years ago
- A number guessing game with a p-adic twist.☆9Updated last year
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆16Updated last year
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆13Updated 9 months ago
- This repository contains the source html files for the website complex-analysis.com☆12Updated 3 weeks ago
- A probabilistic programming language based on pattern-rewriting☆80Updated last year
- A web based playground for parsertl/lexertl☆20Updated this week
- McLulang: The message is the language☆10Updated 5 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆57Updated this week
- my javascript helpers☆45Updated 9 months ago
- VSCode extension for Metamath☆10Updated last week
- 🪄 Tiny challenges for learning WebAssembly☆67Updated last month
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆47Updated last month
- An menu/quick reference for Programming Language concepts☆20Updated 10 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆79Updated 3 months ago
- An infinite canvas implementation in <500 LOC.☆23Updated 9 months ago
- some resources☆14Updated last year
- An implementation of interaction nets as a forth-like language.☆27Updated this week
- tiny experimental language for limited environments☆17Updated last year
- archived prototype for sketching dynamic models☆25Updated 2 weeks ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 4 months ago
- A computer algebra system for research in combinatorial game theory☆37Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- Source of metamath book☆47Updated last year
- Cicada Language (PLCT little team)☆92Updated last month
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated this week
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated last month
- ☆38Updated 3 years ago