Haskell Snake clone.
☆35Apr 29, 2012Updated 14 years ago
Alternatives and similar repositories for Level-0
Users that are interested in Level-0 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 6 years ago
- Simple and high level interface to plugins for hotswapping haskell code.☆22Mar 3, 2014Updated 12 years ago
- Dungeons of Wor, the remake of the classic Wizard of Wor using FRP.☆17Jun 19, 2016Updated 10 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 9 years ago
- A roguelike game. What's your reason?☆11Oct 15, 2017Updated 9 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.
- Just a place to throw general notes that don't belong to any particular library☆23Oct 25, 2014Updated 12 years ago
- Create and animate sprites easily with sdl2 (Haskell)☆24May 12, 2018Updated 8 years ago
- Literate assertions for OCaml☆18Oct 3, 2019Updated 7 years ago
- A CHIP-8 Emulator written in Haskell☆39Oct 5, 2017Updated 9 years ago
- IRC Server written in Erlang☆12Jan 26, 2014Updated 12 years ago
- Integers bounded by a closed interval☆14Updated this week
- Build, traverse and deserialise packed data in Haskell☆11Sep 16, 2026Updated last month
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 4 years ago
- Vector builder☆16Jan 13, 2026Updated 9 months 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.
- QR Code encoder in pure Haskell☆16May 23, 2023Updated 3 years ago
- SDL2 Bindings for the Idris programming language☆10Feb 26, 2020Updated 6 years ago
- The Prettiest Printer☆34Feb 14, 2024Updated 2 years ago
- Haskell Module: Integer.IsPositive☆14Mar 26, 2016Updated 10 years ago
- Small example of a Nix-built servant-server with a reflex-dom client.☆12Feb 5, 2018Updated 8 years ago
- An offline renderer written in Haskell featuring ray tracing and photon mapping☆25Mar 23, 2012Updated 14 years ago
- Compiler backend for generating Scheme code☆30Nov 27, 2025Updated 11 months ago
- sample code for functional lenses☆16Aug 20, 2015Updated 11 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- XML parser and renderer with HTML 5 quirks mode☆22Jul 4, 2024Updated 2 years ago
- ☆15Apr 9, 2026Updated 6 months ago
- ☆13Jul 19, 2018Updated 8 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 8 years ago
- New version of Effects library with dependent states☆13Jan 14, 2014Updated 12 years ago
- ☆16Jun 2, 2026Updated 4 months ago
- Inline Flexbox Grid for React☆13Feb 3, 2018Updated 8 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 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 small 2D game framework in Haskell, for Haskell☆26Jul 10, 2017Updated 9 years ago
- A monad for managed values☆50Nov 18, 2025Updated 11 months ago
- Toy lisp interpreter / PLT playground☆39Oct 20, 2012Updated 14 years ago
- A simple drawing and animation framework for Carp☆18Jun 6, 2026Updated 4 months ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 9 years ago
- Experimental Scheme-like compiled language☆22Oct 14, 2011Updated 15 years ago
- ☆14Jan 25, 2021Updated 5 years ago