liamoc / wizardsLinks
High level, generic library for interrogative user interfaces in Haskell
☆41Updated 4 years ago
Alternatives and similar repositories for wizards
Users that are interested in wizards are comparing it to the libraries listed below
Sorting:
- Kleene algebra, regular expressions☆33Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- Tasty meal of Dhall☆67Updated 2 years ago
- semirings and *-semirings of types in base/haskell-platform☆43Updated last year
- A command-line tool for live monitoring☆25Updated 3 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 8 years ago
- Automatic type class law checking.☆24Updated 8 months ago
- The Str signature and implementations☆21Updated 8 years ago
- Hedgehog will eat your typeclass bugs☆55Updated 4 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Haskell time library focusing on performance☆58Updated last month
- Non-empty Vectors☆26Updated 5 months ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 7 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 8 months ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- GHC prof manipulation script☆32Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Symbol manipulation☆36Updated 2 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- ☆14Updated 7 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 2 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆26Updated 2 months ago
- rewrite rules for type-level equalities☆62Updated last month