phadej / cabal-sat
Using cabal-install as SAT solver
☆13Updated last year
Related projects: ⓘ
- Existential type.☆36Updated 4 months ago
- A modern Haskell debugger☆29Updated 10 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 4 months ago
- ☆17Updated last week
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Session types framework with support of protocol pipelining.☆15Updated this week
- Fast higher-order effect handlers with evidence passing☆17Updated 8 months ago
- Alternative and lite implementation of Hoogle☆11Updated 5 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 3 months ago
- Session Types with Priority in Linear Haskell☆25Updated 3 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 2 months ago
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆14Updated last month
- todo and unimplemented, robustly implemented☆32Updated last week
- Let's rethink how we interact with Agda☆18Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Order theory☆23Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆20Updated 3 weeks ago
- Composable Concurrent Computation Done Right☆29Updated last year
- A category polymorphic `Functor` typeclass.☆11Updated 7 months ago
- Zippers for cofree types☆12Updated 2 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆28Updated last year
- Ormolu GitHub action☆31Updated 3 months ago
- ☆40Updated 10 months ago
- Haskell counters that can be safely incremented from multiple threads☆17Updated 11 months ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆24Updated 2 years ago
- Command line interface library in Idris☆30Updated last month