Alternatives and similar repositories for costlyState

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

• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 5 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 3 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• mfine / nfl-divisions-power-rankings
  ☆15Updated 10 years ago
• bitemyapp / blacktip
  Haskell clone of Boundary's k-ordered unique id service
  ☆41Updated 7 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆56Updated 10 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• commercialhaskell / stackage-server
  Server for stable, curated Haskell package sets
  ☆109Updated 2 months ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 10 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• susanctu / Haskell-In-Memory-DB
  ☆13Updated 11 years ago
• riak-haskell-client / riak-haskell-client
  A fast Haskell client library for the Riak decentralized data store
  ☆50Updated 2 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆34Updated 4 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 5 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• creichert / haskellrustdemo
  Example Integration for Embedding Rust in Haskell
  ☆35Updated 7 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 11 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 6 years ago
• zalora / upcast
  Abandonware
  ☆89Updated 9 years ago