lyons / ExKanren
Relational programming in Elixir
☆81Updated 7 years ago
Alternatives and similar repositories for ExKanren:
Users that are interested in ExKanren are comparing it to the libraries listed below
- Mix dialyzer task☆81Updated 6 years ago
- Data specification conformance and generation for Elixir☆78Updated 4 years ago
- Library for writing and manipulating (html) markup in Elixir.☆114Updated last year
- QuickCheck for Elixir☆83Updated 4 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 5 years ago
- (Semi-)principled type classes for Elixir☆138Updated 2 years ago
- Git NEEEEF (Erlang NIF)☆128Updated 5 years ago
- A configurable constraint solver☆39Updated 8 years ago
- Low level bindings to Erlang NIF API for Rust☆90Updated last year
- Evolutionary demonstration of Erlang/OTP development.☆36Updated 6 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated last year
- The HTTP decision tree as a plug (full elixir rewriting of basho/webmachine with improvements)☆96Updated 2 months ago
- Parser for ABNF Grammars☆62Updated 5 years ago
- Runtime and debugging tools for elixir☆119Updated 2 years ago
- Elixir Extended Protocol☆49Updated 9 months ago
- Load control in BEAM processes.☆79Updated 8 years ago
- HTTP Request & Response Server. An incomplete clone of http://httpbin.org☆86Updated 8 months ago
- DefMemo - Ryuk's little puppy! Bring apples.☆33Updated 7 years ago
- Tracing for Elixir☆161Updated 7 years ago
- A simple Maybe monad for Elixir.☆100Updated last year
- A parser combinator library for Elixir projects☆198Updated last year
- Sojourn-time based active queue management library☆162Updated 5 years ago
- ☆105Updated 6 years ago
- A Riemann client for Elixir, surprise!☆57Updated 6 years ago
- Elixir implementation of the logic for the board game Acquire. Presented at NDC Oslo 2015 - see video:☆54Updated 9 years ago
- A pure Elixir implementation of Scalable Bloom Filters☆112Updated 3 years ago
- Just Erlang Maps for Javascript☆69Updated 7 years ago
- A parallelized stream implementation for Elixir☆100Updated 2 years ago
- Virtual actors for elixir☆104Updated 5 years ago
- Macro for tapping into a pattern match while using the pipe operator☆58Updated 7 years ago