mabotkin / zpordleLinks
A number guessing game with a p-adic twist.
☆11Updated 2 years ago
Alternatives and similar repositories for zpordle
Users that are interested in zpordle are comparing it to the libraries listed below
Sorting:
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Reference compiler for c0☆38Updated last week
- File format and optimizer for programs encoded in binary lambda calculus☆17Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆37Updated 7 months ago
- koneko - a concatenative not-quite-lisp for kittens☆25Updated last year
- McLulang: The message is the language☆12Updated last year
- Busy Beaver deciders backed by Coq proof☆58Updated 9 months ago
- A formal consistency proof of Quine's set theory New Foundations☆75Updated 6 months ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- types for various combinatory systems, especialy tree calculi☆23Updated 10 months ago
- Source for the d∃∀duction project.☆21Updated last week
- Exponent pair database☆63Updated 2 weeks ago
- A toy dependent typed language.☆35Updated this week
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- ☆350Updated 2 months ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆118Updated last month
- Here we give programs that check if Turing machines halt or not.☆14Updated 3 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Updated 6 months ago
- ☆284Updated 2 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 4 years ago
- A programmable virtual CPU written in untyped lambda calculus☆61Updated 3 years ago
- tool for turning Lean proofs into Blender animations☆78Updated 2 weeks ago
- ☆42Updated 4 months ago
- A dependently-typed, array-polymorphic language that runs on parallel architectures☆24Updated last year
- ⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.☆59Updated this week
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 4 months ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆19Updated 2 weeks ago