My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell
☆39Jun 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Sep 12, 2016Updated 9 years ago
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 7 years ago
- ☆15Mar 26, 2024Updated 2 years ago
- Stargaze is a CLI tool to help you manage your starred projects on GitHub.☆19Jul 21, 2022Updated 3 years ago
- The official website for the Hy programming language☆18May 24, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A compilation of BQN solutions to various coding challenges.☆12Updated this week
- ☆13Sep 30, 2019Updated 6 years ago
- Goldbach conjecture = 25-state turing machine☆43May 21, 2026Updated 2 weeks ago
- nool is nool☆11Aug 31, 2025Updated 9 months ago
- A collection of notes, codes and various further readings that accompanied the December 12th Hackday event.☆31Dec 17, 2009Updated 16 years ago
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 9 years ago
- 4th Year MSci Dissertation☆11Oct 3, 2022Updated 3 years ago
- A simple pure LRU cache written in Haskell☆19Dec 3, 2018Updated 7 years ago
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- .NET Core SDK templates for bootstrapping new Aardvark projects☆16Nov 17, 2025Updated 6 months ago
- 32blit SDK boilerplate for the PicoSystem RP2040-based handheld☆19Oct 12, 2021Updated 4 years ago
- A string tokenizer library for Rust☆11May 16, 2018Updated 8 years ago
- Blargg's Audio Libraries - Blip_Buffer: http://slack.net/~ant/libs/audio.html#Blip_Buffer☆16Oct 25, 2020Updated 5 years ago
- 6502 chip simulator in OCaml☆13Apr 30, 2026Updated last month
- Cheap and simple ADS-B base station for OpenSky Network☆11Jul 31, 2016Updated 9 years ago
- Emulators for various CPUs, written in Python, consolidated from previous work.☆15Jul 15, 2014Updated 11 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Apr 3, 2023Updated 3 years ago
- Tools for building winlibs packages from source using MinGW-w64☆14May 14, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Arbitrary-precision decimal based on Zarith☆21May 18, 2026Updated 3 weeks ago
- Solutions for Project Euler problems, written in the Ruby programming language☆10Feb 28, 2011Updated 15 years ago
- implementing call/cc on Lua script language.☆12Jun 9, 2010Updated 16 years ago
- LIsp Framework for Testing☆30Oct 16, 2023Updated 2 years ago
- what it says on the tin☆24Jun 6, 2018Updated 8 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Jun 16, 2024Updated last year
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆97Jan 17, 2022Updated 4 years ago
- html 5 tokenizer☆26Jun 23, 2019Updated 6 years ago
- OCaml Ctypes stubs generation notes☆22May 1, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17May 11, 2026Updated 3 weeks ago
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 3 years ago
- A natural transformation package☆16Jan 8, 2026Updated 5 months ago
- SKI combinators☆56May 27, 2017Updated 9 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆75Feb 1, 2026Updated 4 months ago
- Tools to build JSON-RPC clients and servers the Servant way☆10Sep 28, 2024Updated last year
- Ctypes bindings to flock(2) for OCaml☆14Mar 7, 2024Updated 2 years ago