phadej / cabal-sat

Related projects ⓘ

Alternatives and complementary repositories for cabal-sat

• haskellari / some
  Existential type.
  ☆36Updated 6 months ago
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆29Updated last year
• Kleidukos / boreal
  ☆17Updated last week
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 6 months ago
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 4 months ago
• phadej / hooglite
  Alternative and lite implementation of Hoogle
  ☆11Updated 7 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last month
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆17Updated 3 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated 2 weeks ago
• emilypi / order
  Order theory
  ☆23Updated last year
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆19Updated last year
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆34Updated 2 months ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 11 months ago
• phadej / boring
  Boring and Absurd types
  ☆17Updated 6 months ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated 3 weeks ago
• mstksg / typelits-printf
  Type-safe printf from parsing GHC TypeLits Symbol
  ☆24Updated 2 months ago
• deepflowinc / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆36Updated 2 months ago
• cdupont / Timeloop
  ☆40Updated last year
• chshersh / ghc-plugin-non-empty
  🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
  ☆27Updated last year
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• Bodigrim / fast-digits
  Split integers into digits, blazingly fast
  ☆12Updated 4 months ago
• hasufell / stack2cabal
  Convert stack projects to cabal.project + cabal.project.freeze
  ☆23Updated 8 months ago
• haskell-works / oops
  ☆22Updated 10 months ago
• mstewartgallus / hs-callbypushvalue
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Updated 4 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 7 months ago