jpfairbanks / SocialTheories.jl
Theories of social science expressed in Catlab.jl formalisms
☆15Updated 3 years ago
Related projects: ⓘ
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated 10 months ago
- Bayesian inference on wiring diagrams.☆18Updated 11 months ago
- Build Petri net models compositionally☆72Updated 2 months ago
- Relational Algebra, now with more algebra!☆48Updated 10 months ago
- A framework for composing and simulating multiphysics systems☆47Updated 2 weeks ago
- Piecewise Deterministic Markov Processes in Julia☆21Updated 4 months ago
- A Petri net modeling framework for the Julia programming language☆40Updated 9 months ago
- Assorted s-expression utilities for Julia☆15Updated 6 months ago
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Updated 4 years ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- Julia bindings to the SAT solver picosat☆29Updated 8 months ago
- A small Julia wrapper for nauty☆9Updated 5 months ago
- Building dynamical systems compositionally☆65Updated last week
- Tensor algebra abstract type interoperability setup☆43Updated 3 months ago
- Learning Algebraic Varieties from Samples☆24Updated 8 months ago
- E.T. Jaynes home phone.☆45Updated 3 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆14Updated 3 years ago
- Examples for MLStyle.jl☆20Updated last year
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- Automatic probabilistic programming for scientific machine learning and dynamical models☆34Updated 2 months ago
- Like a kick in the monads☆39Updated 2 years ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆15Updated last year
- Simplicial sets and other combinatorial models of geometric spaces☆28Updated this week
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- An event based Discrete Event Simulation engine☆21Updated 2 years ago
- Graph IO functionality for various formats.☆61Updated 2 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆12Updated 10 months ago
- Lightweight package for sharing tensor-algebra definitions☆24Updated 3 months ago
- Probabilistic Circuits in Julia☆10Updated 8 months ago