alangpierce / LambdaCalculusPlayground
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
☆18Updated 8 years ago
Alternatives and similar repositories for LambdaCalculusPlayground:
Users that are interested in LambdaCalculusPlayground are comparing it to the libraries listed below
- Links to type system research materials☆10Updated 8 years ago
- ☆55Updated 8 years ago
- Some pleasant examples that show off the reactor and get you started☆17Updated 10 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- writing on haskell☆33Updated 8 years ago
- Haskell port of the Hashids library.☆24Updated last year
- Code samples inspiring language design☆24Updated 9 years ago
- Source for the Chrome Extension of the same name☆21Updated 8 years ago
- IO for Elm☆29Updated 9 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- DEPRECATED - Editor Support for the PureScript programming language☆61Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Crux Programming Language☆52Updated 2 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 5 years ago
- An orbital simulation game written in Elm☆83Updated 2 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- JVM implementation in Haskell☆44Updated 7 months ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago
- Monad Library for JavaScript☆54Updated 11 years ago
- The classical memory game with old school demoscene effects.☆29Updated 8 years ago
- PouchDB Bindings for PureScript☆24Updated 6 years ago
- Totally functional programming literature☆60Updated 6 years ago
- ☆63Updated 6 years ago
- Haskell client driver for RethinkDB☆19Updated 4 years ago
- just another compiler experiment☆14Updated 8 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- This is my Bachelor-Thesis. I showed how to derieve a purely functional programming language from an unrestricted language by example of …☆42Updated 8 years ago
- Shem's powerful IDE.☆62Updated 4 years ago