haroldl / whitespace-nd
The popular Whitespace programming language with my changes.
☆15Updated 4 years ago
Alternatives and similar repositories for whitespace-nd
Users that are interested in whitespace-nd are comparing it to the libraries listed below
Sorting:
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A convenience wrapper around the Gloss library to make writing games in Haskell even easier☆19Updated 4 years ago
- Compression and decompression in the gzip and zlib formats☆37Updated 5 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Core modules for a blazing fast markup combinator library☆22Updated 10 months ago
- URI manipulation facilities☆25Updated 2 months ago
- Take an info.rkt file, produce a info.nix file.☆41Updated 4 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Updated 7 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆59Updated 4 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- ☆16Updated 5 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- Common lower-level functions needed by various streaming data libraries☆36Updated 3 months ago
- Polymorphic guarded λ-calculus☆13Updated 6 months ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- Haskell library for glob matching☆25Updated 3 years ago
- A TOML parser for Idris 2☆17Updated 10 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
- ☆17Updated 2 years ago
- Exercism exercises in Coq.☆18Updated 6 months ago
- ☆35Updated 5 years ago
- Automatic Haskell setup in Emacs, for Nix users☆28Updated 5 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- The Hadrian build system for GHC☆9Updated 6 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
- [WIP] Nix overlay for making programs xdg compliant☆21Updated 7 years ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Small library for braillizing images☆18Updated 5 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated last month
- NixOS theme for SLiM lock☆17Updated 7 years ago