AlgebraicJulia / CombinatorialSpaces.jl
Simplicial sets and other combinatorial models of geometric spaces
☆29Updated this week
Related projects ⓘ
Alternatives and complementary repositories for CombinatorialSpaces.jl
- Build Petri net models compositionally☆76Updated 2 weeks ago
- Relational Algebra, now with more algebra!☆48Updated 2 weeks ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- A framework for composing and simulating multiphysics systems☆49Updated this week
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- A Petri net modeling framework for the Julia programming language☆40Updated 11 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 3 weeks ago
- Julia interface to Z3☆57Updated last month
- Common types and interfaces for probabilistic programming☆27Updated this week
- Graph IO functionality for various formats.☆61Updated this week
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆12Updated last year
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated this week
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- Flow algorithms on Graphs.jl☆27Updated 7 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆25Updated last week
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated 2 months ago
- Memory-efficient immutable LightGraphs.☆33Updated 6 months ago
- An event based Discrete Event Simulation engine☆21Updated 3 years ago
- Pattern matching☆52Updated 2 years ago
- ☆65Updated last month
- Functions for declaring and working with grammars and expression trees in Julia.☆24Updated 8 months ago
- Like a kick in the monads☆41Updated 2 years ago
- Library for compile-time computing in julia☆70Updated 11 months ago
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 3 years ago
- ☆27Updated this week
- Method dispatch based on pattern matching for Julia☆48Updated 7 years ago