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
- experimental library for Arrowized FRP in Elm☆41Updated 8 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Repo where to write down documentation and guides for the elm-compiler☆33Updated 8 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆66Updated last year
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 8 years ago
- Composable transformation of sequences using clojure-inspired transducers☆40Updated 6 years ago
- Functional Graph Library in Elm.☆62Updated 10 months ago
- ☆13Updated 8 years ago
- Declarative UIs are the Future — And the Future is Comonadic!☆54Updated 6 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- Parser combinator library for Elm☆36Updated 8 years ago
- An experiment with higher-kinded types in elm☆57Updated 8 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- ☆18Updated 8 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
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Js libraries for idris☆49Updated 5 years ago
- Unison Codebase UI☆46Updated 2 years ago
- Parse HTML in Elm!☆44Updated 6 years ago
- Type level natural numbers and booleans☆34Updated 5 years ago
- Animation library for Elm.☆73Updated 5 years ago
- Render 2D elm-geometry types as SVG☆46Updated last year
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Elm Regular expressions made easy☆33Updated 6 years ago
- An FFI interface for Elm☆49Updated 7 years ago
- A server-side application framework + dev toolkit for Haskell☆16Updated 3 years ago
- 2D/3D geometry package for Elm☆11Updated 6 years ago
- ⚡️ A practical standard library for PureScript.☆47Updated 7 years ago