someodd / burrow
Static gopherhole generator.
☆13Updated 7 months ago
Alternatives and similar repositories for burrow:
Users that are interested in burrow are comparing it to the libraries listed below
- Haskell Gopher Protocol TUI Client 🧇☆23Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- gopher library & server written in Haskell☆46Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 8 months ago
- Haskell types and functions to represent, query, and manipulate the Nixpkgs distribution. | Source has moved to https://github.com/nixos/…☆17Updated 2 years ago
- Types for ldtk☆15Updated last year
- ☆10Updated last year
- ☆36Updated last year
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 7 months ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆12Updated 6 years ago
- Library for invertible parsing and printing☆32Updated 10 months ago
- C Layer for Dhall Language☆15Updated 4 years ago
- FileManager written in haskell☆15Updated 5 years ago
- The LC3 virtual machine☆23Updated 4 months ago
- A generic 2D cellular automaton simulator☆25Updated 4 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 6 months ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- A Haskell module for PortMidi audio library.☆13Updated 8 months ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆29Updated 9 years ago
- Markup language on top of Haskell☆12Updated 5 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated last month
- Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"☆13Updated 4 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated last year
- Clash implementation of the Compucolor II home computer☆31Updated 3 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- An attempt to reimagine knowledge interaction.☆18Updated 4 years ago