Pinned Repositories
AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
Catlab.jl
A framework for applied category theory in the Julia language
CSetAutomorphisms.jl
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
Decapodes.jl
A framework for composing and simulating multiphysics systems
ModelExploration.jl
Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
AlgebraicTypeTheory.jl
Experimentation with implementing some papers on the topic
calculus_of_constructions
chase
Implementations of relational algebra chase algorithm
CombinatorialEnumeration.jl
Enumerate models of finite limit sketches up to isomorphism
cql_data_integration
Interface for generating Categorical Query Language files to merge/migrate data between databases
kris-brown's Repositories
kris-brown/cql_data_integration
Interface for generating Categorical Query Language files to merge/migrate data between databases
kris-brown/CombinatorialEnumeration.jl
Enumerate models of finite limit sketches up to isomorphism
kris-brown/calculus_of_constructions
kris-brown/chase
Implementations of relational algebra chase algorithm
kris-brown/Complexvid.jl
kris-brown/Computational-Category-Theoretic-Rewriting
Notebooks to accompany the paper of the same name.
kris-brown/kbquarto
kris-brown/SMT_term_rewriting
Working towards typed, first-order unification modulo a set of equational axioms
kris-brown/Catlab.jl
A framework for applied category theory in the Julia language
kris-brown/CSetAutomorphisms.jl
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
kris-brown/AlgebraicDynamics.jl
Building dynamical systems compositionally
kris-brown/AlgebraicPetri.jl
Build Petri net models compositionally
kris-brown/brute_force
Ignore combinatorial explosion - test properties of all instances of structures up to a particular size
kris-brown/dbplot
interface between plotly, postprocessing functions, and SQL databases
kris-brown/Decapodes.jl
A framework for composing and simulating multiphysics systems
kris-brown/demo_forest
kris-brown/functionals
Functional Development
kris-brown/JuliaExperiments
kris-brown/kbkb
Personal website
kris-brown/kris-brown.github.io
kris-brown/Nauty.jl
A small Julia wrapper for nauty
kris-brown/personal_website
Deprecated, now use slick_personal_website instead
kris-brown/Poly.jl
Polynomial functors and applications
kris-brown/prologmath
kris-brown/quarto_demo
kris-brown/quartz
🌱 host your own second brain and digital garden for free
kris-brown/RewritingIRIF
Experimental rewriting code
kris-brown/ROLE
Code related to logical expressivism
kris-brown/YouTubeVideoTimestamps
Adding timestamps to Julia YouTube videos!
kris-brown/z3
The Z3 Theorem Prover