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
- Functional Graph Library in Elm.☆63Updated last year
- Parser combinator library for Elm☆36Updated 8 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Repo where to write down documentation and guides for the elm-compiler☆33Updated 8 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- IO for Elm☆29Updated 9 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Render 2D elm-geometry types as SVG☆46Updated last year
- no longer in use, just want to keep discussions around☆29Updated 9 years ago
- ☆67Updated last year
- This repository moved to https://github.com/elm-community/graph☆16Updated 2 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Declarative UIs are the Future — And the Future is Comonadic!☆54Updated 7 years ago
- CodeMirror wrapper for Elm☆19Updated 9 years ago
- Unison Codebase UI☆46Updated 3 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 11 years ago
- ☆13Updated 9 years ago
- Asteroids for a web browser, in PureScript☆44Updated 11 years ago
- Animation library for Elm.☆74Updated 5 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Updated 3 years ago
- Bindings for mounting and interacting with Elm applications in Reason.☆42Updated 2 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- An experiment with higher-kinded types in elm☆58Updated 9 years ago
- guards notation defined in user space☆23Updated 8 years ago
- Purescript implementation of Elm 0.16's signals modules☆91Updated 7 years ago