lyons / ExKanren

Related projects ⓘ

Alternatives and complementary repositories for ExKanren

• fishcakez / dialyze
  Mix dialyzer task
  ☆81Updated 5 years ago
• wojtekmach / hello_beam
  Elixir, Erlang, Gleam & LFE code all in the same project!
  ☆67Updated 5 years ago
• Dkendal / aruspex
  A configurable constraint solver
  ☆40Updated 8 years ago
• rusterlium / erlang_nif-sys
  Low level bindings to Erlang NIF API for Rust
  ☆90Updated 10 months ago
• zambal / eml
  Library for writing and manipulating (html) markup in Elixir.
  ☆116Updated 8 months ago
• marcelog / ex_abnf
  Parser for ABNF Grammars
  ☆61Updated 5 years ago
• jtmoulia / neotomex
  A PEG parser/transformer with a pleasant Elixir DSL.
  ☆68Updated 3 years ago
• kbrw / ewebmachine
  The HTTP decision tree as a plug (full elixir rewriting of basho/webmachine with improvements)
  ☆97Updated 2 weeks ago
• Quviq / eqc_ex
  QuickCheck for Elixir
  ☆83Updated 4 years ago
• mgwidmann / elixir-pattern_tap
  Macro for tapping into a pattern match while using the pipe operator
  ☆58Updated 7 years ago
• sasa1977 / workex
  Load control in BEAM processes.
  ☆79Updated 8 years ago
• vic / spec
  Data specification conformance and generation for Elixir
  ☆78Updated 4 years ago
• witchcrafters / type_class
  (Semi-)principled type classes for Elixir
  ☆140Updated 2 years ago
• fishcakez / dbg
  Tracing for Elixir
  ☆161Updated 6 years ago
• bitwalker / combine
  A parser combinator library for Elixir projects
  ☆198Updated last year
• philosophers-stone / transform
  An Elixir Protocol for transforming arbitrary Elixir data structures.
  ☆26Updated 7 years ago
• marianoguerra / efe
  Elixir Flavoured Erlang: an Erlang to Elixir Transpiler
  ☆67Updated 3 years ago
• gertab / ElixirST
  Session Types in Elixir
  ☆48Updated last year
• liveforeverx / exrun
  Runtime and debugging tools for elixir
  ☆120Updated 2 years ago
• gabrielelana / paco
  A parser combinator library for Elixir
  ☆31Updated 9 years ago
• krestenkrab / triq
  Trifork QuickCheck
  ☆280Updated 7 years ago
• Qqwy / elixir-fun_land
  Algebraic Data Types for Elixir: Both functional and fun.
  ☆73Updated last year
• OvermindDL1 / protocol_ex
  Elixir Extended Protocol
  ☆49Updated 6 months ago
• os6sense / DefMemo
  DefMemo - Ryuk's little puppy! Bring apples.
  ☆33Updated 7 years ago
• RefactoringTools / wrangler
  Wrangler -- An Erlang Refactorer
  ☆165Updated last month
• carlosmn / geef
  Git NEEEEF (Erlang NIF)
  ☆128Updated 5 years ago
• zxq9 / erlmud
  Evolutionary demonstration of Erlang/OTP development.
  ☆36Updated 6 years ago
• whatyouhide / short_maps
  ⚠️Retired⚠️ library that provided a ~m sigil for ES6-like map destructuring in Elixir.
  ☆76Updated 5 years ago
• inaka / beam_olympics
  Let's find the fastest beamer!
  ☆39Updated 6 years ago
• mururu / msgpack-elixir
  MessagePack Implementation for Elixir / msgpack.org[Elixir]
  ☆70Updated 7 years ago