Alternatives and similar repositories for ChessKell:

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

• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• lemmih / fvg
  Functional Vector Graphics
  ☆15Updated 7 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated last month
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• VarmaMSP / snake-game
  A demo of Functional Reactive Programming in Purescript
  ☆10Updated 6 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 7 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• MichaelXavier / drifter-postgresql
  PostgreSQL support for the drifter schema migration tool
  ☆12Updated 7 years ago
• factisresearch / large-hashable
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆15Updated last month
• ekmett / hyperloglog
  A constant-memory approximation of set membership
  ☆24Updated 3 weeks ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 7 years ago
• singpolyma / wai-session
  Flexible session middleware for WAI
  ☆15Updated 4 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 4 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• joelburget / ghcjs-box
  Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development
  ☆11Updated 9 years ago
• ekmett / transformers-compat
  transformers compatibility shim
  ☆10Updated last year
• 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
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 2 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated last month
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• haskell / entropy
  Easy entropy source for Haskell users.
  ☆23Updated last month