someodd / burrowLinks
Static gopherhole generator.
☆13Updated 5 months ago
Alternatives and similar repositories for burrow
Users that are interested in burrow are comparing it to the libraries listed below
Sorting:
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last year
- A Haskell module for PortMidi audio library.☆15Updated last year
- Simple network runner library in Haskell☆11Updated 7 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
- A generic 2D cellular automaton simulator☆25Updated 4 years ago
- Types for ldtk☆16Updated last year
- gopher library & server written in Haskell☆46Updated 4 months ago
- Haskell Gopher Protocol TUI Client 🧇☆22Updated last year
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆42Updated last month
- ☆39Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- ☆11Updated 2 weeks ago
- An automatic declarative ASCIInema recorder☆46Updated 4 months ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆17Updated 6 years ago
- A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems☆49Updated last year
- FileManager written in haskell☆15Updated 5 years ago
- Zippers for cofree types☆13Updated 3 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Existential type.☆37Updated 9 months ago
- C Layer for Dhall Language☆15Updated 4 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
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆13Updated last month
- ☆21Updated last month
- JHC Haskell compiler split into reusable components☆18Updated 2 months ago
- Reimplementation of a subset of Cabal☆32Updated this week
- Lambda calculus go brrrr☆30Updated 2 years ago
- Minimal binary serialization library with focus on performance☆25Updated 2 months ago
- Perceptual hashing command-line tool☆19Updated last month
- Matrix.org haskell client library☆26Updated 2 weeks ago