aclai-lab / SoleLogics.jlView external linksLinks
Computational logic in Julia!
☆18Feb 3, 2026Updated 2 weeks ago
Alternatives and similar repositories for SoleLogics.jl
Users that are interested in SoleLogics.jl are comparing it to the libraries listed below
Sorting:
- Symbolic modeling in Julia!☆12Feb 4, 2026Updated last week
- Manage logical datasets!☆13Feb 4, 2026Updated last week
- Sole.jl – Long live transparent modeling!☆47Jan 7, 2026Updated last month
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆12Jan 30, 2026Updated 2 weeks ago
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Aug 23, 2024Updated last year
- A computer algebra system for propositional logic☆19Aug 22, 2024Updated last year
- Evaluate catch22 time-series features in Julia☆20Mar 10, 2025Updated 11 months ago
- ☆11Jan 12, 2026Updated last month
- Counting things in julia☆20May 13, 2024Updated last year
- Lightweight package to interface with MLJ☆39Dec 7, 2025Updated 2 months ago
- Interpretable Machine Learning via Rule Extraction☆40Nov 22, 2025Updated 2 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆52Jan 27, 2026Updated 3 weeks ago
- Flexible interactive visualization for large trees in Julia using D3.js☆46Nov 16, 2025Updated 3 months ago
- Julia API for creating Vega-Lite visualizations☆23Jun 26, 2025Updated 7 months ago
- ☆10Jul 22, 2023Updated 2 years ago
- Heatmap text in Julia.☆11Jul 3, 2025Updated 7 months ago
- MLJ Interface for ScikitLearn.jl☆13May 22, 2024Updated last year
- Estimating the fractal dimension of timeseries or multidimensional datasets; also dynamical indicators via extreme value theory☆12Jan 20, 2026Updated 3 weeks ago
- Fast, gpu-accelerated distance transforms☆13Mar 7, 2025Updated 11 months ago
- successor to RollingFunctions.jl☆10Aug 9, 2023Updated 2 years ago
- Polynomials for ML: fast evaluation, batching, differentiation☆14Dec 29, 2025Updated last month
- A package for wrapping iterative MLJ models in a control strategy☆12Nov 6, 2025Updated 3 months ago
- Encoding multichannel fluorescence and hyperspectral images☆12Nov 6, 2024Updated last year
- Julia package for association rule learning☆12May 18, 2020Updated 5 years ago
- Exact discrete samplers with O(1) sampling & O(1) updates☆15Jan 3, 2026Updated last month
- Type stable and efficient wrapper of arbitrary Julia functions☆120Nov 9, 2024Updated last year
- A library for visualizing and animating PDDL domains.☆15Sep 22, 2024Updated last year
- Provides Gif support in Julia using LibGif☆12Aug 3, 2025Updated 6 months ago
- Julia package registry for the Holy lab at Washington University in St. Louis☆17Sep 5, 2025Updated 5 months ago
- Julia logger with customizable logging string☆14Feb 19, 2024Updated last year
- ☆12Jan 17, 2025Updated last year
- A Julia toolbox with resampling methods to correct for class imbalance.☆31Dec 19, 2025Updated last month
- Template for Julia Programming Language packages using the copier engine.☆111Jan 31, 2026Updated 2 weeks ago
- Take Julia AST's apart and put them back together again☆14Apr 21, 2024Updated last year
- no fancy pattern matching, no dependencies, lightweight Expronicon for low latency.☆17Jan 24, 2025Updated last year
- Interface designs for enforcing static computations in array functions with Julia☆15Feb 9, 2026Updated last week
- Big package depending on a lot of open source repos.☆16Feb 8, 2026Updated last week
- Providing probability distributions and non-negative measures over finite sets, whose elements are labelled.☆15Dec 1, 2025Updated 2 months ago
- ☆15Jan 18, 2026Updated 3 weeks ago