mabotkin / zpordleLinks
A number guessing game with a p-adic twist.
☆10Updated last year
Alternatives and similar repositories for zpordle
Users that are interested in zpordle are comparing it to the libraries listed below
Sorting:
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- An experimental non-deterministic concatenative golfing language☆24Updated 2 weeks ago
- File format and optimizer for programs encoded in binary lambda calculus☆15Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆73Updated last month
- ☆322Updated 4 months ago
- Exponent pair database☆61Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 months ago
- A chat room where you can see messages as they get typed☆11Updated 4 months ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆17Updated 3 weeks ago
- An online math contest platform☆21Updated 4 months ago
- The glitch-soc/Mastodon fork running on types.pl☆25Updated last month
- Programming with pure lambda calculus☆117Updated last month
- A sudoku game where you have to prove that your deductions are valid☆115Updated 2 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆57Updated 8 months ago
- Natural Number Game☆199Updated this week
- Book about using Lean with How To Prove It☆19Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- *cheep cheep shriek caw*☆93Updated last year
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆63Updated 9 months ago
- OTIS course management system☆42Updated this week
- Mathematical proofs of the bbchallenge project.☆25Updated 3 months ago
- ☆26Updated 3 years ago
- Animations of lambda term reduction sequences☆141Updated 7 years ago
- Reference compiler for c0☆36Updated 2 months ago
- metamath proof enumerators and other things☆94Updated last year
- ☆13Updated last year
- ☆92Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago