tapeinosyne / elm-microkanren
μKanren in Elm
☆42Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for elm-microkanren
- experimental library for Arrowized FRP in Elm☆41Updated 7 years ago
- 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 7 years ago
- Composable transformation of sequences using clojure-inspired transducers☆39Updated 6 years ago
- Parser combinator library for Elm☆36Updated 7 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Functional Graph Library in Elm.☆60Updated 4 months ago
- Declarative UIs are the Future — And the Future is Comonadic!☆53Updated 6 years ago
- An experiment with higher-kinded types in elm☆57Updated 8 years ago
- ☆17Updated 7 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 6 years ago
- 2D/3D geometry package for Elm☆11Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 7 months ago
- Simple editor for creating graphs implemented purely in Elm.☆35Updated 2 years ago
- ☆13Updated 8 years ago
- IO for Elm☆29Updated 8 years ago
- guards notation defined in user space☆23Updated 7 years ago
- Asteroids for a web browser, in PureScript☆43Updated 10 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- An FFI interface for Elm☆49Updated 6 years ago
- This repository moved to https://github.com/elm-community/graph☆16Updated last year
- ☆66Updated 4 months ago
- ⚡️ A practical standard library for PureScript.☆47Updated 6 years ago
- Parse HTML in Elm!☆44Updated 6 years ago
- Generate Elm client libraries from Servant API definitions.☆29Updated last year
- The simplest interface I'm able to come up with to elm-compiler, supporting executing in javascript☆19Updated 4 years ago
- Infer user interfaces from type signatures☆78Updated 6 years ago
- Type level natural numbers and booleans☆33Updated 5 years ago
- Render 2D elm-geometry types as SVG☆46Updated last year
- A secure web framework, built in the Idris language.☆109Updated 10 years ago