patrickt / tacticsLinks
Deep-embedded combinators for strategic rewriting.
☆15Updated 4 years ago
Alternatives and similar repositories for tactics
Users that are interested in tactics are comparing it to the libraries listed below
Sorting:
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- Bring fusion to everyone☆14Updated 6 years ago
- A Zoo of Haskell Newtype Wrappers☆15Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- ☆13Updated 5 years ago
- Agda-style equational reasoning in Haskell☆54Updated 3 weeks ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- Lens interface for your filesystem☆22Updated 5 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 5 years ago
- Symbol manipulation☆37Updated 2 years ago
- Simple reflection of expressions☆34Updated 4 years ago
- Composable Concurrent Computation Done Right☆30Updated 3 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 3 weeks ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- Futuristic New Age Golden Test management☆15Updated 3 years ago
- Austin's supercompiler work☆21Updated 6 years ago
- Kleene algebra, regular expressions☆33Updated 2 years ago
- Combine and enhance Functors☆39Updated 5 months ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Updated 3 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Updated 6 years ago
- Standard module for type-level programming in Haskell☆31Updated 6 years ago
- Folds for recursive types with GHC Generics☆28Updated 5 months ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 7 years ago
- Overloaded plugin☆31Updated last year
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 5 years ago