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
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆16Updated last year
- The Lean 4 web editor☆80Updated last month
- A computer algebra system for research in combinatorial game theory☆37Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆67Updated last month
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- Here we give programs that check if Turing machines halt or not.☆11Updated 3 weeks ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆47Updated last month
- A number guessing game with a p-adic twist.☆9Updated last year
- VSCode extension for Metamath☆10Updated this week
- Chess, but each square also follows the rules of Conway's Game of Life☆49Updated last year
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆91Updated this week
- Reference compiler for c0☆30Updated 6 months ago
- A stepping debugger for Standard ML (SML)☆24Updated last year
- An experimental non-deterministic concatenative golfing language☆24Updated 3 weeks ago
- Try It Online clone: online sandbox environment for testing code in a variety of languages☆59Updated last month
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆17Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆30Updated 3 weeks ago
- champagne☆32Updated last year
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- An menu/quick reference for Programming Language concepts☆20Updated 10 months ago
- An implementation of interaction nets as a forth-like language.☆27Updated this week
- tool for turning Lean proofs into Blender animations☆60Updated 3 weeks ago
- A solver for halting problem of Brainfuck programs☆16Updated 4 years ago
- A toy programming language I wrote in late 2022☆24Updated 10 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆92Updated 4 years ago
- An infinite canvas implementation in <500 LOC.☆23Updated 9 months ago
- A 2-D programming language inspired by Hexagony☆25Updated last week
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- ☆37Updated last year