Alternatives and similar repositories for ChessKell

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

• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆25Updated 5 months ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• 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
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• nikita-volkov / slave-thread
  A principal solution to ghost threads and silent exceptions
  ☆24Updated last year
• AshleyMoni / QuadTree
  QuadTree library for Haskell, using lenses.
  ☆15Updated 7 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• lemmih / fvg
  Functional Vector Graphics
  ☆17Updated 8 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• serokell / time-warp
  Distributed systems execution emulation
  ☆18Updated 6 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 8 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 6 months ago
• MichelBoucey / cayley-client
  A Haskell client library for Cayley database graph
  ☆14Updated last month
• VinylRecords / vinyl-generics
  Connecting vinyl records to the wider ecosystem through Generics
  ☆12Updated 6 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated 2 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆16Updated 5 months ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated 2 years ago
• LightAndLight / closure
  Closure calculus implementation
  ☆12Updated 6 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago