ml4ai / skemaLinks
SKEMA: Scientific Knowledge Extraction and Model Analysis
☆12Updated last year
Alternatives and similar repositories for skema
Users that are interested in skema are comparing it to the libraries listed below
Sorting:
- Library for causal and probabilistic inference in Julia☆11Updated 9 months ago
- ☆14Updated 6 months ago
- Alphazero on GPU thanks to CUDA.jl☆32Updated 4 years ago
- Logic Circuits from the Juice library☆50Updated last year
- ACSets: Algebraic databases as in-memory data structures☆26Updated last month
- MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.☆16Updated last year
- a little library to help me with things involving Koopman operators☆12Updated 3 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆36Updated last week
- Probabilistic programming with programmable inference for parallel accelerators.☆37Updated 2 weeks ago
- cadCAD implementation in Julia☆17Updated 11 months ago
- ☆75Updated last month
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Data validation and settings management in Julia☆13Updated 4 years ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated 2 years ago
- Evaluate LLM-synthesized @JuliaLang code.☆26Updated last year
- ☆16Updated last week
- A library for defining and efficiently solving program synthesis tasks in Julia.☆35Updated this week
- A repository with some Deep Reinforcement Learning baselines written in julia using Flux.☆12Updated 2 years ago
- Bayesian inference on wiring diagrams.☆18Updated 2 years ago
- A library for visualizing and animating PDDL domains.☆15Updated last year
- Cellular automata creation and analysis tools☆28Updated 6 months ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- Common types and interface for discretizers of ModelingToolkit PDESystems.☆13Updated this week
- N-dimensional interpolation methods in Rust and Python, no-std compatible☆42Updated 2 weeks ago
- ☆12Updated 8 months ago
- A package to represent high-order relationships between objects of any type☆39Updated 2 years ago
- Time travel in JuliaLang. (Useful for testing what code did before your changes)☆17Updated 2 years ago
- Matching algorithms for Graphs.jl☆20Updated last month