lyons / ExKanrenLinks
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
Sorting:
- Mix dialyzer task☆81Updated 6 years ago
- Git NEEEEF (Erlang NIF)☆128Updated 6 years ago
- QuickCheck for Elixir☆82Updated 4 years ago
- Library for writing and manipulating (html) markup in Elixir.☆115Updated last year
- (Semi-)principled type classes for Elixir☆137Updated 2 years ago
- Data specification conformance and generation for Elixir☆78Updated 5 years ago
- Elixir, Erlang, Gleam & LFE code all in the same project!☆69Updated 5 years ago
- Low level bindings to Erlang NIF API for Rust☆91Updated last year
- Parser for ABNF Grammars☆62Updated 6 years ago
- Sojourn-time based active queue management library☆164Updated 5 years ago
- ☆106Updated 6 years ago
- A parser combinator library for Elixir projects☆199Updated last year
- A benchmarking tool for Elixir☆71Updated 7 years ago
- Trifork QuickCheck☆279Updated 8 years ago
- An Elixir Protocol for transforming arbitrary Elixir data structures.☆26Updated 8 years ago
- Tracing for Elixir☆161Updated 7 years ago
- The HTTP decision tree as a plug (full elixir rewriting of basho/webmachine with improvements)☆96Updated 5 months ago
- Almost-extensible effects for Elixir.☆27Updated 8 years ago
- A PEG parser/transformer with a pleasant Elixir DSL.☆69Updated 3 years ago
- Let's find the fastest beamer!☆39Updated 7 years ago
- Macro for tapping into a pattern match while using the pipe operator☆58Updated 7 years ago
- Elixir Flavoured Erlang: an Erlang to Elixir Transpiler☆67Updated 3 years ago
- A simple Maybe monad for Elixir.☆99Updated last year
- A configurable constraint solver☆39Updated 8 years ago
- Wrangler -- An Erlang Refactorer☆164Updated 4 months ago
- ☆61Updated 6 years ago
- Erlang Docs in the Shell predating EEP-48 and shell_docs☆120Updated last year
- Algebraic Data Types for Elixir: Both functional and fun.☆73Updated 2 years ago
- An exploration into a stand-alone library for Plug applications to easily adopt WebSockets.☆63Updated 7 years ago
- Elixir rebar3 compiler plugin☆90Updated 3 years ago