alangpierce / LambdaCalculusPlayground
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
☆18Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for LambdaCalculusPlayground
- Haskell port of the Hashids library.☆24Updated 10 months ago
- ☆15Updated 8 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago
- Some pleasant examples that show off the reactor and get you started☆17Updated 10 years ago
- just another compiler experiment☆14Updated 7 years ago
- ☆55Updated 7 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Todobackend implementations in Haskell using various frameworks☆39Updated last year
- A wrapper for Node's HTTP APIs☆40Updated last year
- A toolkit for creating REST services with Node and PureScript☆32Updated 7 years ago
- JVM implementation in Haskell☆44Updated last month
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 4 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆79Updated 10 years ago
- Links to type system research materials☆10Updated 8 years ago
- Monad Library for JavaScript☆54Updated 11 years ago
- The classical memory game with old school demoscene effects.☆29Updated 8 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- ☆49Updated 7 years ago
- Roguelike for 7DRL make in Elm☆30Updated 8 years ago
- Crux Programming Language☆51Updated 2 years ago
- PureScript React Native TodoMVC example app☆27Updated 8 years ago
- ☆17Updated 7 years ago
- ☆67Updated 7 years ago
- DEPRECATED - Editor Support for the PureScript programming language☆62Updated 8 years ago
- Forth clone in Haskell☆31Updated 7 years ago
- A step-by-step MicroKanren evaluator☆29Updated 7 years ago
- An orbital simulation game written in Elm☆83Updated last year
- A Web Browser written with Haskell☆36Updated 3 years ago
- IO for Elm☆29Updated 8 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆14Updated 10 years ago