Alternatives and similar repositories for LambdaCalculusPlayground

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

• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated last month
• maxsnew / IO
  IO for Elm
  ☆29Updated 9 years ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 5 years ago
• hoodunit / purescript-react-native-todomvc
  PureScript React Native TodoMVC example app
  ☆27Updated 9 years ago
• alexmingoia / pux-devtool
  Pux time-travelling devtool.
  ☆42Updated 8 years ago
• stephenbalaban / Gravity
  An orbital simulation game written in Elm
  ☆83Updated 2 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• parsonsmatt / purs-architecture-tutorial
  A port of the Elm Architecture Tutorial to PureScript
  ☆56Updated 7 years ago
• xdissent / elm-localstorage
  LocalStorage task adapter for Elm
  ☆11Updated 9 years ago
• folktale / control.monads
  Migrating to https://github.com/origamitower/folktale
  ☆20Updated 9 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• AtnNn / haskell-rethinkdb
  RethinkDB client library for Haskell
  ☆93Updated 8 years ago
• michaelbjames / elm-examples
  Some pleasant examples that show off the reactor and get you started
  ☆17Updated 11 years ago
• VictorTaelin / optlam
  An optimal function evaluator written in JavaScript.
  ☆138Updated 8 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• brakmic / purescript-pouchdb
  PouchDB Bindings for PureScript
  ☆24Updated 7 years ago
• laserpants / hashids-haskell
  Haskell port of the Hashids library.
  ☆24Updated last year
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆109Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 7 years ago
• staltz / jace
  just another compiler experiment
  ☆14Updated 8 years ago
• jaspervdj / talks
  Slides & demos for talks I do
  ☆58Updated last week
• begriffs / algorithm-freezer
  Know your algorithms cold!
  ☆29Updated 9 years ago
• tfausak / purescript-batteries
  A PureScript prelude with more features.
  ☆30Updated 8 years ago
• tmountain / purescript-reproducible
  A short guide detailing how to bootstrap PureScript.
  ☆25Updated 6 years ago
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 10 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 10 years ago
• conal / talk-2014-bayhac-denotational-design
  Denotational Design: from programs to meanings
  ☆100Updated 9 years ago