AlgebraicJulia

All

56 repositories

Catlab.jl
Public
A framework for applied category theory in the Julia language
applied-category-theory compositionality string-diagrams julia category-theory wiring-diagrams
Julia
•
MIT License
•58•622•133•23•Updated Dec 21, 2024Dec 21, 2024
Decapodes.jl
Public
A framework for composing and simulating multiphysics systems
Julia
•
MIT License
•14•53•39•15•Updated Dec 19, 2024Dec 19, 2024
AlgebraicOptimization.jl
Public
Julia
•
MIT License
•3•7•0•17•Updated Dec 19, 2024Dec 19, 2024
DataMigrations.jl
Public
Julia
•
MIT License
•0•3•12•2•Updated Dec 18, 2024Dec 18, 2024
.github
Public
Organization-wide .github actions and other metadata. See https://docs.github.com/en/github/building-a-strong-community/creating-a-default-community-health-file for details on how this repo works
Shell
•
MIT License
•0•0•1•0•Updated Dec 17, 2024Dec 17, 2024
StructuredDecompositions.jl
Public
Structured decompositions!
Julia
•
MIT License
•1•10•8•5•Updated Dec 17, 2024Dec 17, 2024
quarto-website
Public template
A template for making a quarto website that deploys to Netlify
JavaScript
•
MIT License
•0•0•1•1•Updated Dec 14, 2024Dec 14, 2024
GATlab.jl
Public
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
Julia
•
MIT License
•2•24•48•16•Updated Dec 12, 2024Dec 12, 2024
GATAS-website
Public
Website for the GATAS lab at UF
Julia
•
MIT License
•1•0•4•2•Updated Dec 11, 2024Dec 11, 2024
DiagrammaticEquations.jl
Public
Julia
•
MIT License
•1•13•20•8•Updated Dec 9, 2024Dec 9, 2024
CombinatorialSpaces.jl
Public
Simplicial sets and other combinatorial models of geometric spaces
Julia
•
MIT License
•5•32•20•5•Updated Dec 3, 2024Dec 3, 2024
AlgebraicRewriting.jl
Public
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
category-theory declarative-programming rewrite-systems
Julia
•
MIT License
•5•28•14•4•Updated Nov 25, 2024Nov 25, 2024
ACSets.jl
Public
ACSets: Algebraic databases as in-memory data structures
Julia
•
MIT License
•8•21•42•2•Updated Nov 23, 2024Nov 23, 2024
Presentations
Public
Presentations for the AlgebraicJulia and GATAS groups
CSS
•0•0•0•0•Updated Nov 14, 2024Nov 14, 2024
AlgebraicABMs.jl
Public
Stochastic graph rewriting for agent based modeling
Julia
•
MIT License
•2•6•16•3•Updated Nov 13, 2024Nov 13, 2024
AlgebraicRelations.jl
Public
Relational Algebra, now with more algebra!
algebra category-theory relational-databases algebraic-structures relational-algebra relational
Julia
•
MIT License
•4•49•10•5•Updated Oct 25, 2024Oct 25, 2024
AlgebraicTemplate.jl
Public template
A template repository for making a new AlgebraicJulia package.
Shell
•
MIT License
•0•1•2•4•Updated Oct 25, 2024Oct 25, 2024
AlgebraicPetri.jl
Public
Build Petri net models compositionally
math chemistry petri epidemiology
Julia
•
MIT License
•21•79•12•7•Updated Oct 25, 2024Oct 25, 2024
AlgebraicDynamics.jl
Public
Building dynamical systems compositionally
Jupyter Notebook
•
MIT License
•13•67•14•12•Updated Oct 25, 2024Oct 25, 2024
StockFlow.jl
Public
Julia
•
MIT License
•6•67•18•8•Updated Oct 25, 2024Oct 25, 2024
SyntacticModels.jl
Public
Specifying models with syntax trees
Julia
•
MIT License
•4•3•4•8•Updated Oct 25, 2024Oct 25, 2024
StateCharts.jl
Public
Julia
•
MIT License
•0•2•0•4•Updated Oct 3, 2024Oct 3, 2024
Metatheory.jl
Public
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Julia
•
MIT License
•45•1•0•0•Updated Sep 3, 2024Sep 3, 2024
Dtries.jl
Public
Directories in Julia
Julia
•0•2•0•0•Updated Aug 22, 2024Aug 22, 2024
AssociatedTests.jl
Public
Tests that follow directly after functions
Julia
•
MIT License
•0•2•0•0•Updated Aug 8, 2024Aug 8, 2024
AlgebraicInterfaces.jl
Public
An interface package for AlgebraicJulia
Julia
•
MIT License
•0•5•0•0•Updated Jun 28, 2024Jun 28, 2024
pubs-database
Public
A database of clean bibtex files
TeX
•0•1•0•0•Updated Jun 8, 2024Jun 8, 2024
Kittenlab.jl
Public
A simplified Catlab.jl for teaching
Jupyter Notebook
•3•12•1•0•Updated May 15, 2024May 15, 2024
DecapodesMeshes.jl
Public
Meshes for Decapodes simulations
Julia
•
MIT License
•0•0•0•0•Updated May 8, 2024May 8, 2024
algebraicjulia.org
Public
Landing page for AlgebraicJulia
JavaScript
•
MIT License
•2•6•5•0•Updated Apr 22, 2024Apr 22, 2024