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
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 7 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 9 years ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 10 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 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
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 5 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• jpfuentes2 / swim
  Haskell implementation of the SWIM epidemic gossip protocol
  ☆12Updated 6 years ago
• ntoronto / drbayes
  Dr. Bayes
  ☆84Updated 9 years ago
• zalora / microgram
  ABANDONED
  ☆49Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 5 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆77Updated 7 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆34Updated 4 years ago
• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 12 years ago