mabotkin / zpordleLinks
A number guessing game with a p-adic twist.
☆10Updated 2 years ago
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☆57Updated 7 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆16Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- Exponent pair database☆62Updated last week
- An experimental non-deterministic concatenative golfing language☆24Updated last week
- Here we give programs that check if Turing machines halt or not.☆14Updated 2 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Updated 4 months ago
- Reference compiler for c0☆37Updated 5 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- An online math contest platform☆22Updated last month
- ☆344Updated last month
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 2 months ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆18Updated last week
- types for various combinatory systems, especialy tree calculi☆22Updated 9 months ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆61Updated 2 months ago
- metamath proof enumerators and other things☆91Updated last week
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- *cheep cheep shriek caw*☆95Updated last year
- Stuff one needs to play around with my R216 computers (see README)☆18Updated 11 months ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- Coq library for verified low-level programming☆60Updated 8 years ago
- Natural Number Game☆233Updated last month
- A simple raytracer written in Lean 4☆141Updated last year
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Updated 8 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated last year
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- The single instruction language - Flip a bit, then Jump☆130Updated 9 months ago