Kris Brown's repositories
cql_data_integration
Interface for generating Categorical Query Language files to merge/migrate data between databases
CombinatorialEnumeration.jl
Enumerate models of finite limit sketches up to isomorphism
Computational-Category-Theoretic-Rewriting
Notebooks to accompany the paper of the same name.
SMT_term_rewriting
Working towards typed, first-order unification modulo a set of equational axioms
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
AlgebraicDynamics.jl
Building dynamical systems compositionally
AlgebraicPetri.jl
Build Petri net models compositionally
brute_force
Ignore combinatorial explosion - test properties of all instances of structures up to a particular size
dbplot
interface between plotly, postprocessing functions, and SQL databases
Decapodes.jl
A framework for composing and simulating multiphysics systems
functionals
Functional Development
kbkb
Personal website
Nauty.jl
A small Julia wrapper for nauty
personal_website
Deprecated, now use slick_personal_website instead
Poly.jl
Polynomial functors and applications
project-m36
Project: M36 Relational Algebra Engine
quartz
🌱 host your own second brain and digital garden for free
RewritingIRIF
Experimental rewriting code
YouTubeVideoTimestamps
Adding timestamps to Julia YouTube videos!
z3
The Z3 Theorem Prover