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:
- Some pleasant examples that show off the reactor and get you started☆17Updated 10 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- Crux Programming Language☆53Updated last week
- just another compiler experiment☆14Updated 8 years ago
- IO for Elm☆29Updated 9 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- Node callbacks as thunks☆20Updated 10 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- An orbital simulation game written in Elm☆83Updated 2 years ago
- ☆55Updated 8 years ago
- Denotational Design: from programs to meanings☆98Updated 9 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- ☆15Updated 9 years ago
- PureScript React Native TodoMVC example app☆27Updated 8 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A clone of 2048 using FRP in elm.☆32Updated 11 years ago
- Toy web rendering engine in haskell☆34Updated 9 years ago
- Forming reliable memories.☆93Updated 5 years ago
- A wrapper for Node's HTTP APIs☆40Updated 2 years ago
- writing on haskell☆33Updated 8 years ago
- DEPRECATED - Editor Support for the PureScript programming language☆61Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆55Updated 10 years ago
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- PouchDB Bindings for PureScript☆24Updated 6 years ago
- Know your algorithms cold!☆29Updated 9 years ago
- Totally functional programming literature☆60Updated 6 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 10 years ago