tapeinosyne / elm-microkanrenLinks
μKanren in Elm
☆43Updated 8 years ago
Alternatives and similar repositories for elm-microkanren
Users that are interested in elm-microkanren are comparing it to the libraries listed below
Sorting:
- experimental library for Arrowized FRP in Elm☆42Updated 8 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 9 years ago
- Composable transformation of sequences using clojure-inspired transducers☆40Updated 7 years ago
- Repo where to write down documentation and guides for the elm-compiler☆33Updated 8 years ago
- Functional Graph Library in Elm.☆63Updated last year
- Parser combinator library for Elm☆36Updated 8 years ago
- IO for Elm☆29Updated 9 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- ☆67Updated last year
- Declarative UIs are the Future — And the Future is Comonadic!☆54Updated 7 years ago
- A Unison Github repo explorer in Elm☆34Updated 4 years ago
- Render 2D elm-geometry types as SVG☆46Updated 2 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Elm effect manager for local storage☆37Updated 8 years ago
- ☆13Updated 8 years ago
- Elm library to reduce Elm Architecture boilerplate☆62Updated 8 years ago
- guards notation defined in user space☆23Updated 8 years ago
- ⚡️ A practical standard library for PureScript.☆47Updated 7 years ago
- Asteroids for a web browser, in PureScript☆44Updated 11 years ago
- A dict for Elm which can store any type☆36Updated 7 years ago
- Node support for Elm☆14Updated 9 years ago
- no longer in use, just want to keep discussions around☆29Updated 9 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A toolkit of useful extensions to the core Elm libraries.☆51Updated 2 years ago
- guidelines for *-extra contributors☆32Updated 2 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Exercism exercises in Idris.☆35Updated 2 weeks ago
- Unison Codebase UI☆46Updated 3 years ago
- Port to Elm of mailcheck.js, suggests domains for emails with errors.☆26Updated 6 months ago