alangpierce / LambdaCalculusPlaygroundLinks
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
☆18Updated 9 years ago
Alternatives and similar repositories for LambdaCalculusPlayground
Users that are interested in LambdaCalculusPlayground are comparing it to the libraries listed below
Sorting:
- writing on haskell☆33Updated 8 years ago
- Some pleasant examples that show off the reactor and get you started☆17Updated 11 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- just another compiler experiment☆14Updated 9 years ago
- PouchDB Bindings for PureScript☆24Updated 7 years ago
- ☆56Updated 8 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- IO for Elm☆29Updated 10 years ago
- RethinkDB client library for Haskell☆93Updated 8 years ago
- Pux time-travelling devtool.☆42Updated 8 years ago
- Advent of Code 2016, in Haskell☆15Updated 8 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- Crux Programming Language☆53Updated 4 months ago
- Sliding puzzle built in Elm☆51Updated 10 years ago
- ☆96Updated 5 years ago
- A simple blogging platform with Haskell and Scotty☆38Updated 4 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Know your algorithms cold!☆29Updated 10 years ago
- PureScript React Native TodoMVC example app☆27Updated 9 years ago
- Totally functional programming literature☆60Updated 6 years ago
- DEPRECATED - Editor Support for the PureScript programming language☆61Updated 9 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- ☆13Updated 8 years ago
- Learning Haskell☆50Updated 10 years ago
- Canvas bindings for PureScript☆56Updated last year
- A PureScript prelude with more features.☆30Updated 8 years ago
- Using elm to make a simple chatroom☆59Updated 9 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 8 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 11 years ago
- An optimal function evaluator written in JavaScript.☆139Updated 8 years ago