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 4 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- An efficient finite map from (byte)strings to values.☆20Updated 4 months ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- ☆41Updated 8 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- ☆40Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- Evaluate special comments in your program on file save.☆39Updated 4 years ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- Efficient parser combinators for Haskell☆39Updated last week
- A natural transformation package☆16Updated 6 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 3 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Updated last year
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 3 months ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- IO using sized types and copatterns☆35Updated 4 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 months ago