mabotkin / zpordle
A number guessing game with a p-adic twist.
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for zpordle
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- An experimental non-deterministic concatenative golfing language☆21Updated last month
- Busy Beaver deciders backed by Coq proof☆39Updated 3 months ago
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- An online math contest platform☆17Updated last week
- A place to put our 2018 Xena project UROP thoughts and programs.☆24Updated 4 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆27Updated 3 weeks ago
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- VSCode extension for Metamath☆10Updated last month
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- Write formal proofs in natural language and LaTeX.☆32Updated 3 weeks ago
- Learn Lean and topology☆20Updated last year
- Plain-text declaration export for Lean 4☆12Updated last month
- GitHub repo backing Programming Language Ranking website ⬇️☆30Updated 2 weeks ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆55Updated last month
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆89Updated 3 years ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 2 years ago
- ☆158Updated this week
- Catalog Of Math Problems Formalized In Lean☆112Updated this week
- A slick numerics-oriented Mathematical library for Java☆16Updated 10 months ago
- Binary Lambda Calculus Virtual Machine☆45Updated 9 months ago
- Tim Button's open textbook on set theory☆30Updated last year
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- An esoteric programming language with just two data types: null and tape☆10Updated 9 months ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- My Advent of Code solutions☆22Updated 10 months ago
- ☆34Updated last year