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
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- 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
- Content Addressable Storage Archive☆41Updated 11 months ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Tasty meal of Dhall☆66Updated last year
- Dhall support for the DOT language for graphviz☆37Updated 2 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Serializable closures for distributed programming.☆64Updated last year
- Wailing into the primordial ooze of category theory☆55Updated last week
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last week
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Symbol manipulation☆36Updated last year
- A streaming PostgreSQL logical replication client library for Haskell☆39Updated last year
- Delete half (minus ε) of your Haskell code!☆30Updated last month
- Automatic type class law checking.☆24Updated 2 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- An efficient graph library for Haskell☆39Updated 7 months ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Create temporary postgres instances☆53Updated 7 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 last month
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- Managing third-party Haskell packages in Bazel☆30Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 3 years ago