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
- Portable thread pool implementation for C.☆13Nov 28, 2011Updated 14 years ago
- Purely functional data structures in Idris☆11Sep 24, 2017Updated 9 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- ☆12Oct 5, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 11 years ago
- Docker file to setup the Haskell Plattform 2013.2.0.0☆10Sep 6, 2013Updated 13 years ago
- Try Idris☆34Sep 7, 2015Updated 11 years ago
- Helpfully Functional Go. A useful collection of Go utilities, designed for programmer happiness.☆11Jul 28, 2014Updated 12 years ago
- Data structures and HXT parser for OpenStreetMap files☆13Jan 20, 2019Updated 7 years ago
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Aug 1, 2023Updated 3 years ago
- A set of tools used for retrieving, parsing and clearing data from a BodyBugg.☆15Oct 29, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- Compile anonymous functions based on C# lambda expressions at runtime.☆26Sep 28, 2012Updated 14 years ago
- The code that goes into the GroupServer tar-ball.☆13Sep 7, 2017Updated 9 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Javascript free captcha written in PHP☆11Mar 17, 2022Updated 4 years ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- ☆10May 3, 2017Updated 9 years ago
- wow nod.js knock outs hask a thon project☆10Nov 20, 2013Updated 12 years ago
- Tools to make caching easier in Django☆12Jan 29, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Understand and explore the component tree of a Vue app☆10Apr 18, 2021Updated 5 years ago
- LAVA - Live Animated Visuals for Arch. Desktop live wallpaper engine with formulas, animations, and widgets.☆10Oct 14, 2026Updated 2 weeks ago
- New version of Effects library with dependent states☆13Jan 14, 2014Updated 12 years ago
- Homotopy type theory cheatsheets☆11Apr 15, 2026Updated 6 months ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 13 years ago
- ☆11Dec 3, 2022Updated 3 years ago
- ☆12Dec 1, 2014Updated 11 years ago
- A ruby gem CLI for downloading everything in your cloudapp account to your hard drive.☆13May 25, 2022Updated 4 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 9 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.
- A Javascript library for validating vertical rhythm☆12Mar 28, 2011Updated 15 years ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 6 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- ☆12Feb 21, 2023Updated 3 years ago
- ☆13Jan 27, 2012Updated 14 years ago
- A Book Reader that is build for humans☆11Jun 30, 2023Updated 3 years ago