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:
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 6 years ago
- A library for benign effects in Haskell☆20Updated 5 months ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- ☆41Updated 5 years ago
- Hedgehog will eat your typeclass bugs☆55Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated 2 months ago
- Efficient parser combinators for Haskell☆39Updated 2 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- ☆12Updated 5 years ago
- ICFP 2019 preprints/papers☆44Updated 6 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- ICFP tutorial☆39Updated 4 years ago
- Labeled IO Library☆59Updated 5 years ago
- Inline, type safe X86-64 assembly programming in Agda☆69Updated 6 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Haskell library for simple, concise and fast generic operations.☆82Updated 2 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- ☆41Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- ☆18Updated 4 years ago