mgree / trampoline
Safely running potentially non-terminating functions in Elm.
☆10Updated 3 years ago
Alternatives and similar repositories for trampoline:
Users that are interested in trampoline are comparing it to the libraries listed below
- Gradual introduction to interactive graphics programs.☆10Updated 4 years ago
- μKanren in Elm☆43Updated 7 years ago
- Lens combinators for fused-effects.☆17Updated 4 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Updated 2 years ago
- IndexedDB package for Elm☆9Updated 6 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 10 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A bot that uses elm-review to find common mistakes in packages.☆16Updated 2 years ago
- Node callbacks as thunks☆20Updated 9 years ago
- A minimal scheme-esque language written in Elm.☆22Updated 3 years ago
- The simplest interface I'm able to come up with to elm-compiler, supporting executing in javascript☆19Updated 4 years ago
- Decode keyboard events in Elm☆22Updated 2 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆11Updated 7 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 4 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Composable transformation of sequences using clojure-inspired transducers☆39Updated 6 years ago
- Unison Codebase UI☆46Updated 2 years ago
- An interactive beta reduction calculator for lambda calculus☆10Updated 6 years ago
- Elm ports' wrapper for uncomplicated request-response-style communication☆29Updated 3 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- The Elm architecture ported to Idris Programming language☆13Updated 5 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- ☆13Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- An HTTP library for idris☆39Updated 6 years ago
- TODO☆10Updated 9 years ago