lyons / ExKanrenLinks
Relational programming in Elixir
☆80Updated 8 years ago
Alternatives and similar repositories for ExKanren
Users that are interested in ExKanren are comparing it to the libraries listed below
Sorting:
- Elixir, Erlang, Gleam & LFE code all in the same project!☆68Updated 6 years ago
- Library for writing and manipulating (html) markup in Elixir.☆114Updated last year
- Elixir Extended Protocol☆49Updated last year
- Evolutionary demonstration of Erlang/OTP development.☆36Updated 7 years ago
- Data specification conformance and generation for Elixir☆80Updated 5 months ago
- QuickCheck for Elixir☆83Updated 5 years ago
- The HTTP decision tree as a plug (full elixir rewriting of basho/webmachine with improvements)☆97Updated 3 weeks ago
- DefMemo - Ryuk's little puppy! Bring apples.☆32Updated 8 years ago
- Mix dialyzer task☆81Updated 7 years ago
- (Semi-)principled type classes for Elixir☆137Updated 3 years ago
- Low level bindings to Erlang NIF API for Rust☆90Updated 2 years ago
- Parser for ABNF Grammars☆62Updated 6 years ago
- Git NEEEEF (Erlang NIF)☆128Updated 6 years ago
- Almost-extensible effects for Elixir.☆27Updated 9 years ago
- A configurable constraint solver☆40Updated 9 years ago
- A parser combinator library for Elixir☆31Updated 10 years ago
- A parser combinator library for Elixir projects☆199Updated 2 years ago
- A Riemann client for Elixir, surprise!☆57Updated 7 years ago
- Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarki…☆58Updated 2 years ago
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 8 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆68Updated 4 years ago
- ☆106Updated 6 years ago
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- WebAssembly Virtual Machine Built In Elixir☆188Updated 6 years ago
- A PEG parser/transformer with a pleasant Elixir DSL.☆69Updated 4 years ago
- Spell is a Web Application Messaging Protocol (WAMP) client implementation in Elixir. WAMP is an open standard WebSocket subprotocol that…☆67Updated 2 years ago
- Wrangler -- An Erlang Refactorer☆163Updated 11 months ago
- Macro for tapping into a pattern match while using the pipe operator☆58Updated 8 years ago
- A simple Maybe monad for Elixir.☆99Updated 2 years ago
- An Elixir implementation of Flow-based Programming☆67Updated 10 years ago