Mabi19 / numbers
An interactive exploration of various number formats
☆30Updated 4 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 online visual debugger for esoteric languages☆48Updated 11 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆16Updated last year
- ☆28Updated last month
- A Chess Engine in PostScript☆58Updated last week
- This is the source code for TryAPL.org☆24Updated last week
- This repository contains the source html files for the website complex-analysis.com☆13Updated this week
- Binary Lambda Calculus Virtual Machine☆52Updated last year
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- turtle graphics playground☆74Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆68Updated last week
- champagne☆32Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆231Updated 3 months ago
- A textbook for Conway's Game of Life.☆33Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated last month
- GitHub repo backing Programming Language Ranking website ⬇️☆31Updated 3 weeks ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Jupyter notebooks for Dyalog APL☆42Updated 9 months ago
- Library of math functions for the Uiua programming language☆25Updated 3 weeks ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆74Updated this week
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated 7 months ago
- ☆26Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆52Updated this week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆58Updated last week
- Complicated math expression generator☆99Updated 8 months ago
- An experimental non-deterministic concatenative golfing language☆24Updated last month