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:
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- IO for Elm☆29Updated 9 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- PouchDB Bindings for PureScript☆24Updated 6 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- Some pleasant examples that show off the reactor and get you started☆17Updated 10 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- A Web Browser written with Haskell☆37Updated 4 years ago
- Links to type system research materials☆10Updated 9 years ago
- DEPRECATED - Editor Support for the PureScript programming language☆61Updated 9 years ago
- A short guide detailing how to bootstrap PureScript.☆26Updated 6 years ago
- The classical memory game with old school demoscene effects.☆29Updated 8 years ago
- Haskell port of the Hashids library.☆24Updated last year
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Source for the Chrome Extension of the same name☆21Updated 8 years ago
- just another compiler experiment☆14Updated 8 years ago
- Source code of the Haskell Live episodes.☆131Updated 12 years ago
- ☆15Updated 9 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆45Updated last year
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- ☆63Updated 6 years ago
- JVM implementation in Haskell☆44Updated 9 months ago
- Todobackend implementations in Haskell using various frameworks☆40Updated 2 years ago
- A little puzzle game☆23Updated 2 months ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- An orbital simulation game written in Elm☆83Updated 2 years ago