dfinity-side-projects / winter

Related projects ⓘ

Alternatives and complementary repositories for winter

• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 6 years ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 4 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• nfrisby / coxswain
  A GHC type checker plugin for row types
  ☆39Updated 7 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 4 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• chessai / pump
  reverse dependency build matrix generator
  ☆33Updated 4 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 7 months ago
• ekmett / parsnip
  ☆18Updated 3 years ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆36Updated 7 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated last month
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated 2 months ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 3 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 2 weeks ago
• byteverse / chronos
  Haskell time library focusing on performance
  ☆54Updated 2 months ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 5 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• kcsongor / symbols
  Symbol manipulation
  ☆36Updated last year
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago