nmattia / stutter
CLI string generator based on regex-like operations
☆37Updated 4 years ago
Related projects: ⓘ
- ELF data structures for Haskell☆24Updated last year
- Tools for working with derived Show instances in Haskell.☆56Updated last year
- Comma (and other) separated values☆77Updated 10 months ago
- Experiments on the construction of functions☆29Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- Run programs defined in nix expressions☆50Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 3 months ago
- haskell memory☆47Updated last year
- A Haskell implementation of crit-bit trees.☆138Updated 2 years ago
- Haskell/GHCi as a Hex-Calculator interactive☆25Updated 3 months ago
- A git-compatible content tracker in Haskell.☆66Updated 4 years ago
- Automatically make lenses from data structures implementing Generic☆26Updated 9 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- ☆12Updated 9 years ago
- command-line Haskell with 'ghc -e'☆22Updated 7 years ago
- library to manipulate git repositories in haskell (no bindings)☆48Updated 5 years ago
- Haskell bindings for the FUSE library☆27Updated 7 months ago
- TOML file format parser in Haskell☆38Updated 2 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated last month
- Compile Dhall expressions to Cabal files☆100Updated last year
- Search Haskell source code from the command line☆76Updated 4 years ago
- IP Routing Table in Haskell☆47Updated 2 months ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Haskell types and parsers for software version numbers.☆20Updated 3 months ago
- git protocol and storage in pure haskell☆65Updated 2 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- MPFR bindings for Haskell☆33Updated 11 months ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- Create command line interfaces with ease☆41Updated last year
- UI experiments for coda☆65Updated 2 years ago