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:
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 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
- An efficient finite map from (byte)strings to values.☆20Updated 7 months ago
- ☆41Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Derivation of Optimized Definitions Based on Specs☆15Updated 6 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 6 months ago
- enumerative property-based testing for Haskell☆52Updated 4 months ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- A natural transformation package☆16Updated 9 months ago
- Efficient parser combinators for Haskell☆39Updated 2 weeks ago
- IO using sized types and copatterns☆36Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Labeled IO Library☆59Updated 5 years ago
- Funny little Haskell impl☆18Updated 5 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- Morte IDE☆29Updated 8 months ago
- Example row-polymorphism implementations☆61Updated 2 years ago