One Brainfuck interpreter to rule them all!
☆38Mar 26, 2017Updated 9 years ago
Alternatives and similar repositories for Hodor
Users that are interested in Hodor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)☆24Mar 27, 2014Updated 12 years ago
- A tiny go-based ACME client for any ACME CA (including Let's Encrypt)☆11May 21, 2024Updated 2 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Try Idris☆34Sep 7, 2015Updated 11 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.
- A simple template engine inspired by jinja2☆23Jun 27, 2015Updated 11 years ago
- rust crate to get information on mounted disks on linux and Mac☆27Aug 22, 2026Updated 3 weeks ago
- The code that goes into the GroupServer tar-ball.☆13Sep 7, 2017Updated 9 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 8 years ago
- Lightweight Python Build Tool.☆18Mar 26, 2013Updated 13 years ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 8 months ago
- Podomoro command line utility☆26Apr 23, 2019Updated 7 years ago
- Random notes on mathematics (in German)☆13Aug 6, 2026Updated last month
- The contents of ocharles.org.uk/blog☆66Jun 23, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Jan 23, 2020Updated 6 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- moved to https://github.com/unhosted/MyFavouriteSandwich.org☆12Sep 19, 2021Updated 5 years ago
- A logical, reasonably standardized, but flexible project template for creating new AI based projects along with Flask APIs by using cooki…☆11Jul 8, 2024Updated 2 years ago
- Type safe anonymous remote procedures in Haskell☆15Sep 24, 2013Updated 12 years ago
- A Book Reader that is build for humans☆11Jun 30, 2023Updated 3 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 8 years ago
- Your favorite machine learning papers: installable, deployable and reproducible (as all software should be)☆18Mar 6, 2023Updated 3 years ago
- A Chrome extension that lets you see through the LinkedIn jargon. Inspired by John Carpenter's They Live.☆10Feb 22, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A real-time text editing library for JavaScript built around libot.☆16Nov 13, 2014Updated 11 years ago
- Literate-style Documentation Generator☆17Jun 26, 2015Updated 11 years ago
- ☆18Jul 24, 2025Updated last year
- GenNotes – public consensus annotation of genetic variants☆11Mar 27, 2016Updated 10 years ago
- A real-time multiplayer space shooter☆15Aug 29, 2015Updated 11 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- The if.then.fund website.☆10Sep 5, 2017Updated 9 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Command line pastebin for sharing terminal output.☆11Jul 29, 2021Updated 5 years ago
- Matlab bindings and interface for Haskell☆13Aug 24, 2020Updated 6 years ago
- Showcasing my projects.☆11Jul 17, 2020Updated 6 years ago
- ☆10Aug 4, 2024Updated 2 years ago
- Mixnet Messaging App☆11Oct 3, 2025Updated 11 months ago
- ☆16Aug 10, 2026Updated last month
- A lazy specializing virtual machine for purely functional languages☆102Apr 11, 2018Updated 8 years ago