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
- 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 last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Tasty meal of Dhall☆66Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Dual Traversable☆42Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- A total recursion scheme library for Dhall☆66Updated 2 months ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 3 years ago
- Keep your laziness in check!☆33Updated 2 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 month
- Clean up the formatting of 'show' output☆21Updated 8 months ago
- Serializable closures for distributed programming.☆64Updated last year
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- A library for benign effects in Haskell☆20Updated 2 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- ☆40Updated 2 weeks ago
- Dependently typed convolutional neural networks☆35Updated 7 years ago
- Structured logging solution.☆35Updated last month
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Hash consing for arbitrary Haskell data types☆25Updated 5 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 11 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Automatic type class law checking.☆24Updated 3 months ago