phadej / cabal-satLinks
Using cabal-install as SAT solver
☆13Updated last year
Alternatives and similar repositories for cabal-sat
Users that are interested in cabal-sat are comparing it to the libraries listed below
Sorting:
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- Session types framework with support of protocol pipelining.☆15Updated 2 weeks ago
- Existential type.☆37Updated 5 months ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- A modern Haskell debugger☆30Updated last month
- ☆20Updated last week
- ☆23Updated this week
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 2 months ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆27Updated 3 months ago
- Alternative and lite implementation of Hoogle☆11Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated last year
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 3 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Algebraic effects in the Bluefin effect system☆17Updated last year
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 3 months ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Type-safe WebAssembly eDSL in Haskell☆26Updated 7 months ago
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 7 months ago
- Type-level interpolations in various forms☆12Updated 5 months ago
- Staged Streams and other stuff☆18Updated 2 years ago
- WIP: A modern step-through debugger for GHC Haskell☆22Updated this week
- Haskell bindings to Chez Scheme☆10Updated last year
- Types for ldtk☆15Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated 10 months ago
- GRIN backend for Idris2☆34Updated 2 years ago