cacay / regexpLinks
Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.
☆12Updated 3 years ago
Alternatives and similar repositories for regexp
Users that are interested in regexp are comparing it to the libraries listed below
Sorting:
- Build tool for ATS.☆42Updated 3 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- Derivation of Optimized Definitions Based on Specs☆14Updated 6 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- ☆41Updated 5 years ago
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 12 years ago
- An efficient finite map from (byte)strings to values.☆20Updated 9 months ago
- Kempe is a compiled stack-based language☆58Updated last year
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- A natural transformation package☆16Updated last month
- ☆41Updated 8 years ago
- enumerative property-based testing for Haskell☆53Updated 6 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 2 weeks ago
- A type-checker for Haskell with integer constraints☆42Updated 10 years ago
- Type provider library for Idris☆95Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- Funny little Haskell impl☆18Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated last week
- A Haskell monad transformer library for data validation☆38Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆57Updated 8 months ago
- Efficient parser combinators for Haskell☆39Updated 2 months ago
- Free Algebras in Haskell☆38Updated last year
- Stroll: an experimental build system☆42Updated 2 years ago
- Type definitions and low level interface implementations for the W3C HTML5 spec☆33Updated 2 months ago