snowleopard / stroll
Stroll: an experimental build system
☆40Updated last year
Alternatives and similar repositories for stroll:
Users that are interested in stroll are comparing it to the libraries listed below
- Content Addressable Storage Archive☆41Updated 11 months ago
- Tasty meal of Dhall☆66Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Define communication protocols between applications using algebraic data types.☆45Updated last year
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Wailing into the primordial ooze of category theory☆55Updated 3 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 9 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A total recursion scheme library for Dhall☆66Updated 3 weeks ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Serializable closures for distributed programming.☆64Updated last year
- ☆28Updated last month
- Create temporary postgres instances☆53Updated 6 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated last month
- Keep your laziness in check!☆32Updated 2 years ago
- enumerative property-based testing for Haskell☆53Updated last month
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- An efficient graph library for Haskell☆39Updated 7 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Minimizing Haskell programs for easier debugging of GHC compiler crashes☆22Updated 3 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 4 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Automatic type class law checking.☆24Updated last month
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Clean up the formatting of 'show' output☆21Updated 6 months ago
- CI assistant☆46Updated last month