Alternatives and similar repositories for cadet:

Users that are interested in cadet are comparing it to the libraries listed below

• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 7 years ago
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 4 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆38Updated last month
• jship / tao
  Type-level assertion operators
  ☆16Updated 6 years ago
• adnelson / semver-range
  Implementation of semver and NPM-style semantic version ranges in Haskell
  ☆12Updated 4 years ago
• Cognimeta / perdure
  Robust persistence for typed immutable data
  ☆17Updated 8 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 4 months ago
• RyanGlScott / echo
  A cross-platform, cross-console way to handle echoing terminal input
  ☆10Updated 3 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 5 months ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 2 weeks ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆19Updated 6 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• bgamari / ring-buffer
  A concurrent mutable ring-buffer
  ☆12Updated 3 months ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated last month
• vincenthz / cabal-db
  Various cabal query commands wrapped in a simple CLI tool
  ☆18Updated 7 years ago
• GaloisInc / simple-tar
  A very simple tar archive processing library
  ☆11Updated 8 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• ekmett / charset
  fast utf-8 character sets
  ☆13Updated last month
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 2 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 7 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated this week
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• acowley / concurrent-machines
  Concurrency features for the Haskell machines package
  ☆17Updated 2 years ago