simon-frankau / mock-a-mockingbirdView external linksLinks
My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell
☆38Jun 24, 2018Updated 7 years ago
Alternatives and similar repositories for mock-a-mockingbird
Users that are interested in mock-a-mockingbird are comparing it to the libraries listed below
Sorting:
- Try to draw the elo-playouts curve of those leelazero networks☆11Jul 11, 2019Updated 6 years ago
- A Haskell library for fuzzy text search☆17Jun 13, 2024Updated last year
- In-memory, columnar, arrow-based database.☆48Sep 6, 2022Updated 3 years ago
- ☆17Sep 12, 2016Updated 9 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Apr 3, 2023Updated 2 years ago
- Goldbach conjecture = 25-state turing machine☆36Jan 13, 2025Updated last year
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆74Feb 1, 2026Updated last week
- Various fractal scripts☆35Mar 13, 2015Updated 10 years ago
- ☆11Feb 18, 2024Updated last year
- Lizzie - Leela Zero Interface☆31Dec 31, 2023Updated 2 years ago
- Awesome Mathematical Olympiads/Competitions/Contests☆20Jun 7, 2025Updated 8 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆13Jul 8, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Sep 15, 2025Updated 4 months ago
- Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)☆10Jun 7, 2020Updated 5 years ago
- Artificial go player based on reinforcement and supervised learning☆48Apr 3, 2023Updated 2 years ago
- ☆12Jan 9, 2026Updated last month
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- Bare metal boot loader for the Raspberry Pi's VideoCore processor (no ARM!)☆15May 16, 2016Updated 9 years ago
- TTK website☆11Jan 8, 2026Updated last month
- In-memory distributed graph processing of trivially parallelizable graph algorithms.☆22Apr 17, 2013Updated 12 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data☆11Jul 13, 2020Updated 5 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- A collection of Leech lattice decoders.☆11Nov 17, 2016Updated 9 years ago
- University of Michigan Lecture Capture Downloader☆11Jan 28, 2026Updated 2 weeks ago
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- The Universal Algebra Calculator☆16Jun 11, 2022Updated 3 years ago