Alternatives and similar repositories for costlyState

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

• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 9 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 5 years ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 10 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• susanctu / Haskell-In-Memory-DB
  ☆13Updated 11 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 5 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• jpfuentes2 / swim
  Haskell implementation of the SWIM epidemic gossip protocol
  ☆12Updated 6 years ago
• mfine / nfl-divisions-power-rankings
  ☆15Updated 10 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago
• bazqux / bazqux-urweb
  Ur/Web part of BazQux Reader sources
  ☆84Updated 4 years ago
• bitemyapp / blacktip
  Haskell clone of Boundary's k-ordered unique id service
  ☆41Updated 7 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 3 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• creichert / haskellrustdemo
  Example Integration for Embedding Rust in Haskell
  ☆35Updated 7 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆34Updated 4 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 9 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆56Updated 10 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 10 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 7 years ago