"means to work with kleene algebra, at the moment specifically concentrating on regular expressions over Char. Implements ideas from Regular-expression derivatives re-examined by Scott Owens, John Reppy and Aaron Turon"
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
1
GitHub - phadej/cabal-extras: A tool suite to aid Haskell development using `cabal-install`
GitHub - phadej/docker-haskell-example: How to build Docker image for Haskell web app?
GitHub - phadej/overloaded: Overloaded plugin
GitHub - phadej/cabal-fmt: An experiment of formatting .cabal files
GitHub - phadej/preload-trick: "Preload" Haskell packages to override them
GitHub - phadej/idioms-plugins: Hack idiom-brackets using GHC Source Plugin (8.6+)
GitHub - phadej/tdigest: On-line accumulation of rank-based statistics such as quantiles and trimmed means
GitHub - phadej/binary-tagged: Tagged binary serialisation
GitHub - phadej/kleene: Kleene algebra, regular expressions
GitHub - phadej/vec: Nat, Fin, Vec
GitHub - phadej/dlist-nonempty: Non-empty difference lists
GitHub - phadej/insert-ordered-containers: Associative containers retating insertion order for traversals