tapeinosyne / elm-microkanren
μ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
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- Repo where to write down documentation and guides for the elm-compiler☆33Updated 8 years ago
- experimental library for Arrowized FRP in Elm☆41Updated 8 years ago
- Functional Graph Library in Elm.☆62Updated 9 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Declarative UIs are the Future — And the Future is Comonadic!☆54Updated 6 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Composable transformation of sequences using clojure-inspired transducers☆40Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- Render 2D elm-geometry types as SVG☆46Updated last year
- 2D/3D geometry package for Elm☆11Updated 6 years ago
- An experiment with higher-kinded types in elm☆57Updated 8 years ago
- IO for Elm☆29Updated 9 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Updated 2 years ago
- guards notation defined in user space☆23Updated 8 years ago
- The simplest interface I'm able to come up with to elm-compiler, supporting executing in javascript☆19Updated 4 years ago
- Parser combinator library for Elm☆36Updated 8 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- ☆18Updated 8 years ago
- ⚡️ A practical standard library for PureScript.☆47Updated 7 years ago
- ☆13Updated 8 years ago
- Js libraries for idris☆49Updated 5 years ago
- guidelines for *-extra contributors☆33Updated last year
- Flexible context menu for Elm☆15Updated 3 years ago
- ☆67Updated 9 months ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- Explicit typeclasses for Elm☆54Updated 4 years ago
- This repository moved to https://github.com/elm-community/graph☆16Updated 2 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- The Elm architecture ported to Idris Programming language☆13Updated 6 years ago