aclai-lab / Sole.jl
Sole.jl – Long live transparent modeling!
☆38Updated last month
Related projects: ⓘ
- Symbolic modeling in Julia!☆12Updated 2 weeks ago
- Computational logic in Julia!☆14Updated last month
- A computer algebra system for propositional logic☆16Updated 3 weeks ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆28Updated 3 weeks ago
- The Code Tracer☆32Updated 6 months ago
- A Julia implementation of choice sequence based PBT, inspired by Hypothesis☆41Updated last month
- Structured Concurrency for Julia☆29Updated 2 years ago
- Relentless mutation!!☆17Updated 2 months ago
- ☆23Updated 2 weeks ago
- Basically what it says on the tin☆13Updated 9 months ago
- Simple tools for drawing raster images, points, lines and polygons in Makie.jl.☆42Updated 3 weeks ago
- Playground for formal specifications of interfaces in Julia☆57Updated 11 months ago
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Updated 3 weeks ago
- Collective tools for metaprogramming on Julia Expr☆86Updated last month
- Can do or not? It's easy. See https://tk3369.github.io/BinaryTraits.jl/dev/☆50Updated last year
- Memoization mechanism☆30Updated 10 months ago
- Redefinable structures☆26Updated 3 years ago
- A Julia package for interacting with the Hugging Face dataset repository.☆30Updated 7 months ago
- Bijection datatype for Julia.☆44Updated 3 weeks ago
- Aggregating all the docs☆59Updated 10 months ago
- Curated list of high-quality operators for deep learning in Julia☆39Updated 2 years ago
- graph plotting and drawing networks with Julia, using Luxor graphics☆69Updated last month
- Assertions that can be turned on or off with a switch, with no runtime penalty when they're off.☆24Updated 3 years ago
- Transformations for performing feature engineering in machine learning applications☆37Updated last year
- A Julia REPL mode for SQL☆66Updated 2 years ago
- Common hyperparameter scheduling for ML☆31Updated 2 months ago
- Terminal UI for [compat] section of Julia Project.toml files.☆69Updated last year
- A small package for providing the minimal required method surface of a Julia API☆36Updated 2 weeks ago
- A simple but generic implementation of Expectation Maximization algorithms to fit mixture models.☆33Updated 8 months ago
- ☆50Updated 9 months ago