phadej / cabal-satLinks
Using cabal-install as SAT solver
☆13Updated 2 years ago
Alternatives and similar repositories for cabal-sat
Users that are interested in cabal-sat are comparing it to the libraries listed below
Sorting:
- ☆21Updated 3 months ago
- A modern Haskell debugger☆31Updated 4 months ago
- Existential type.☆37Updated 8 months ago
- ☆23Updated last month
- Session Types with Priority in Linear Haskell☆27Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 5 months ago
- Type-level interpolations in various forms☆12Updated 8 months ago
- Formal specification of the Haskell Language Report☆24Updated last week
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 6 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last year
- Session types framework with support of protocol pipelining.☆15Updated 2 weeks ago
- Haskell port of the Nanopass Compiler Framework☆23Updated 2 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Let's rethink how we interact with Agda☆18Updated 2 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- Staged Streams and other stuff☆19Updated 3 years ago
- Types for ldtk☆15Updated last year
- Alternative and lite implementation of Hoogle☆11Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 5 months ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 7 months ago
- ☆16Updated 3 years ago
- ☆18Updated 4 years ago
- ☆41Updated last year
- GHC plugin for hlint☆11Updated last year
- Type-safe WebAssembly eDSL in Haskell☆27Updated 10 months ago
- A simple functional programming language.☆21Updated 4 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆18Updated last week
- An efficient finite map from (byte)strings to values.☆20Updated 4 months ago
- An interface for GHC type-checking plugins☆21Updated last week