Alternatives and similar repositories for costlyState:

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

• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 9 years ago
• susanctu / Haskell-In-Memory-DB
  ☆13Updated 10 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated last year
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago
• steven777400 / TwilioIVR
  A fluent Twilio IVR library for Haskell
  ☆20Updated 9 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• bitemyapp / blacktip
  Haskell clone of Boundary's k-ordered unique id service
  ☆40Updated 6 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• chris-taylor / hs-probability
  Reasonably efficient probability monad for Haskell.
  ☆19Updated 11 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• emk / haskell-probability-monads
  Composable probability monads in Haskell.
  ☆22Updated 9 years ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 9 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• goudreinette / lisp
  My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.
  ☆12Updated 7 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago