Alternatives and similar repositories for costlyState:

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

• kogir / rark
  a Racket language inspired by ARc, by Kogir
  ☆29Updated 11 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• philipcmonk / phlisped
  Graphical programming editor
  ☆33Updated 8 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 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
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 2 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• WebDrake / GrSL
  GrSL - the GSL-based random Sampling Library
  ☆13Updated 13 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• conal / 2017-talk-teaching-new-tricks-to-old-programs
  Keynote talk for Lambda Jam 2017 in Sydney
  ☆20Updated 6 years ago
• ianthehenry / tightrope
  Making Slackbots is hard! But wait: now it's easy.
  ☆14Updated 10 years ago
• divs1210 / Impala
  Simple, extensible bytecode interpreter
  ☆26Updated 9 years ago
• bitemyapp / blacktip
  Haskell clone of Boundary's k-ordered unique id service
  ☆40Updated 7 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• cstrahan / wiwinwln
  What I Wish I Knew While Learning Nix
  ☆35Updated 3 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 5 years ago