latticetower / MuKanren.jlView external linksLinks
minimal miniKanren implementation in Julia
☆23May 23, 2017Updated 8 years ago
Alternatives and similar repositories for MuKanren.jl
Users that are interested in MuKanren.jl are comparing it to the libraries listed below
Sorting:
- A make-like system for data analysis☆20Jun 12, 2017Updated 8 years ago
- ☆16Feb 8, 2020Updated 6 years ago
- Implement composition and concrete subtyping in Julia.☆50Sep 27, 2022Updated 3 years ago
- Canonical default initial values and identity elements for Julia☆27Jan 15, 2022Updated 4 years ago
- Some useful lenses☆35Jan 29, 2026Updated 2 weeks ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Dec 22, 2023Updated 2 years ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Feb 4, 2020Updated 6 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Mar 7, 2021Updated 4 years ago
- Duality of view between named variables and flat vectors in Julia☆12Nov 25, 2025Updated 2 months ago
- Command-line spaced repetition scheduler.☆10Mar 8, 2015Updated 10 years ago
- ☆11Feb 8, 2020Updated 6 years ago
- A DSL for modern parsing☆47Jan 1, 2026Updated last month
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10May 18, 2021Updated 4 years ago
- Fork of Roberto Saccon's ErlyJs☆12May 2, 2013Updated 12 years ago
- Metadata for julia fields☆25Feb 8, 2023Updated 3 years ago
- Julia bindings to the SAT solver picosat☆32Dec 30, 2023Updated 2 years ago
- Interface between Julia and Torch (Lua) using ZMQ☆22Feb 19, 2015Updated 10 years ago
- ☆26Sep 10, 2020Updated 5 years ago
- Method dispatch based on pattern matching for Julia☆49Dec 31, 2016Updated 9 years ago
- Flatten Julia types to tuples or vectors, and un-flatten them later☆11Feb 8, 2020Updated 6 years ago
- metaprogramming for Julia arrays☆13Sep 26, 2020Updated 5 years ago
- 🏂 GUI programming in Julia based on CImGui.jl☆47Nov 19, 2023Updated 2 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 4 years ago
- ☆11Feb 8, 2020Updated 6 years ago
- Julia DevTools☆24Apr 25, 2018Updated 7 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 3 years ago
- Various finite representations of large or infinite sets and associated primitive functions☆13Nov 23, 2018Updated 7 years ago
- extra sorting algorithms extending Julia's sorting API☆54Nov 24, 2025Updated 2 months ago
- BayesianNonparametrics in julia☆32Sep 6, 2018Updated 7 years ago
- Julia package designed to handle product distributions☆11May 21, 2022Updated 3 years ago
- Representation of infinity in Julia☆15Jul 24, 2021Updated 4 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆18Feb 8, 2020Updated 6 years ago
- A simple file/directory watcher for Linux and macOS and other BSDs☆13Oct 28, 2023Updated 2 years ago
- A Julia package for Prolog-style logic programming.☆178Feb 5, 2023Updated 3 years ago
- Functions to transform text into unicode symbols, e.g. latex --> unicode☆33Aug 22, 2025Updated 5 months ago
- A modern tool for data exploration☆16Feb 8, 2020Updated 6 years ago
- R-package for Bayesian preference learning with the Mallows rank model.☆22Feb 6, 2026Updated last week
- ☆16Aug 20, 2022Updated 3 years ago
- Combo.jl: Combinatorial Optimization in Julia☆16Dec 18, 2019Updated 6 years ago