pzel / mkr
An implementation of µKanren in Lisp Flavored Erlang.
☆18Updated 9 years ago
Alternatives and similar repositories for mkr:
Users that are interested in mkr are comparing it to the libraries listed below
- LFE Flavor package☆41Updated 4 years ago
- Markup Language Expressions for LFE☆35Updated last year
- DEPRECATED - See:☆61Updated 9 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Updated 8 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- A set of basic rebar3 templates for LFE applications.☆17Updated 6 years ago
- An example of the most minimal shell you can write on erlang.☆10Updated 9 years ago
- The LFE rebar3 compiler plugin☆14Updated 4 years ago
- DEPRECATED (use lfex/lanes instead)☆37Updated 5 years ago
- A Clojure-idiomatic wrapper around Erlang's JInterface☆27Updated 5 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- LFE ports of the Cowboy examples.☆19Updated 8 years ago
- Turn a Prolog File into a Gen Server☆22Updated 10 years ago
- A wrapper for json in the Erlang stdlib for 27+ and for jsx in Erlang 26 and below☆11Updated last month
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- 🧊 Методологія верифікації теорем☆93Updated this week
- LFE HTTP Server Abstraction and Web Application Middleware Infrastructure☆21Updated last year
- rebar3 plugin for compiling alpaca modules☆11Updated 4 years ago
- IRC Integration for LiffyBot (a WIP port of Erlbot)☆14Updated 8 years ago
- rebar3 Clojerl compiler plugin☆27Updated 3 years ago
- LFE Utility Modules (successor to lfe-utils)☆19Updated last month
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated last month
- Common Lisp implementation of the Erlang External Term Format☆17Updated 2 years ago
- A lean portable Erlang, no BEAM☆52Updated 11 years ago
- A Lisp dialect in Elixir☆8Updated 9 years ago
- Erlang to Scheme compiler☆36Updated 12 years ago
- Melt unstructured data and cast it with structure☆18Updated 8 years ago
- An Example LFE/Clojure Multi-node System using OTP and Supervision Trees☆28Updated 8 years ago
- Code Utilities for Erlang☆17Updated 4 months ago
- A custom formatter for the Erlang logger application that produces human-readable output☆13Updated last month