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
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Some pleasant examples that show off the reactor and get you started☆17Updated 10 years ago
- An orbital simulation game written in Elm☆83Updated last year
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 6 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆79Updated 10 years ago
- Source code of the Haskell Live episodes.☆130Updated 12 years ago
- The game of chess written in elm.☆23Updated last year
- Slides for CUFP 2017 keynote☆20Updated 7 years ago
- Totally functional programming literature☆60Updated 5 years ago
- ☆15Updated 8 years ago
- Making Slackbots is hard! But wait: now it's easy.☆14Updated 10 years ago
- PouchDB Bindings for PureScript☆24Updated 6 years ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- ☆23Updated 6 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
- Know your algorithms cold!☆29Updated 8 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- ☆63Updated 6 years ago
- Haskell client driver for RethinkDB☆19Updated 3 years ago
- Migrating to https://github.com/origamitower/folktale☆20Updated 8 years ago
- A little puzzle game☆23Updated 9 years ago
- Learning Haskell☆49Updated 8 years ago
- Toy web rendering engine in haskell☆33Updated 9 years ago
- A small TypeScript library to do pattern matching☆13Updated 8 years ago
- Source for the Chrome Extension of the same name☆21Updated 8 years ago