Alternatives and similar repositories for elm-microkanren

Users that are interested in elm-microkanren are comparing it to the libraries listed below

• maddie927 / purescript-spectacle-presentation

  View on GitHub
  Presentation on using React Spectacle via Pux & PureScript
  ☆12Oct 29, 2016Updated 9 years ago
• rtfeldman / elm-node-app

  View on GitHub
  Communication layer so Elm code can talk to Node.js code.
  ☆13Apr 25, 2016Updated 9 years ago
• lukewestby / elm-codegen-preview

  View on GitHub
  Preview the JS code generated by an Elm program
  ☆10Oct 8, 2016Updated 9 years ago
• knewter / elm_web_components_playground

  View on GitHub
  Playing with Elm and Polymer / Web Components
  ☆11Mar 21, 2017Updated 8 years ago
• mukeshsoni / frolic

  View on GitHub
  Learn elm faster and in a fun way
  ☆48Oct 17, 2019Updated 6 years ago
• eeue56 / elm-html-in-elm

  View on GitHub
  ☆13Jul 17, 2017Updated 8 years ago
• Dandandan / parser

  View on GitHub
  Parser combinator library for Elm
  ☆36Nov 29, 2016Updated 9 years ago
• folkertdev / elm-state

  View on GitHub
  Threading state through computations in elm
  ☆43Feb 6, 2024Updated 2 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• Kwarrtz / render

  View on GitHub
  A lightweight graphics library for the Elm programming language
  ☆15Jul 15, 2017Updated 8 years ago
• avh4-experimental / elm-transducers

  View on GitHub
  Composable transformation of sequences using clojure-inspired transducers
  ☆40Aug 31, 2018Updated 7 years ago
• UnkindPartition / prover

  View on GitHub
  Simple lambda prover
  ☆24Jul 6, 2015Updated 10 years ago
• Fresheyeball / elm-return

  View on GitHub
  Writer powered pipelining for `(model, Cmd msg)`
  ☆83Dec 9, 2024Updated last year
• paf31 / purescript-leibniz

  View on GitHub
  Leibniz Equality
  ☆19Jun 7, 2018Updated 7 years ago
• clayrat / opticui-elm-architecture

  View on GitHub
  Elm arch guide in OpticUI
  ☆13Dec 3, 2015Updated 10 years ago
• elm-tools / parser

  View on GitHub
  Simple Parser + Nice Error Messages
  ☆124Feb 4, 2021Updated 5 years ago
• iosphere / elm-logger

  View on GitHub
  Elm logger with support for log levels and colored console output
  ☆17Feb 13, 2018Updated 8 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• eeue56 / elm-ffi

  View on GitHub
  An FFI interface for Elm
  ☆49Feb 6, 2018Updated 8 years ago
• avh4 / elm-testable

  View on GitHub
  Makes Cmds and Tasks testable
  ☆41May 26, 2021Updated 4 years ago
• stoeffel / elm-verify

  View on GitHub
  ☆35Apr 16, 2019Updated 6 years ago
• ElmCast / elm-node

  View on GitHub
  Elm server side support
  ☆148Sep 24, 2017Updated 8 years ago
• tomjkidd / elm-multiway-tree-zipper

  View on GitHub
  A library for navigating and updating immutable trees.
  ☆29Jan 8, 2021Updated 5 years ago
• maxsnew / hakyll-elm

  View on GitHub
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Sep 2, 2014Updated 11 years ago
• harmboschloo / elm-ecs

  View on GitHub
  Using the entity-component-system (ECS) pattern in elm.
  ☆33May 16, 2019Updated 6 years ago
• elm-community / parser-combinators

  View on GitHub
  A parser combinator library for Elm.
  ☆104Jun 21, 2021Updated 4 years ago
• mirage / qubes-mirage-skeleton

  View on GitHub
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Nov 25, 2020Updated 5 years ago
• paf31 / mu-kanren

  View on GitHub
  A step-by-step MicroKanren evaluator
  ☆29Nov 22, 2016Updated 9 years ago
• agrafix / purescript-apparch

  View on GitHub
  PureScript application layout pattern, derived from the Elm Architecture
  ☆18Mar 12, 2016Updated 9 years ago
• webyrd / cool-relational-interpreter-examples

  View on GitHub
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Mar 6, 2015Updated 10 years ago
• jwmerrill / elm-animation-frame

  View on GitHub
  An Elm Signal that is synchronized with the monitor's refresh rate.
  ☆18May 30, 2016Updated 9 years ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago
• VarmaMSP / snake-game

  View on GitHub
  A demo of Functional Reactive Programming in Purescript
  ☆11May 17, 2018Updated 7 years ago
• mdgriffith / style-elements

  View on GitHub
  Create styles that don't mysteriously break!
  ☆447Sep 23, 2020Updated 5 years ago
• toastal / elm-applicatives-and-json-decoders

  View on GitHub
  ☆22Feb 18, 2022Updated 3 years ago
• shamansir / node-elm-repl

  View on GitHub
  👌 JavaScript tool, which provides fast access to the types (as structures, not just strings) and values of Elm expressions
  ☆20Mar 5, 2024Updated last year
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago