kris-brown
Follow
-
-
-
Catlab.jl Public
Forked from AlgebraicJulia/Catlab.jlA framework for applied category theory in the Julia language
Julia MIT License UpdatedFeb 29, 2024 -
quartz Public template
Forked from jackyzha0/quartz🌱 host your own second brain and digital garden for free
SCSS MIT License UpdatedAug 30, 2023 -
-
-
-
-
-
CombinatorialEnumeration.jl Public
Enumerate models of finite limit sketches up to isomorphism
-
Decapodes.jl Public
Forked from AlgebraicJulia/Decapodes.jlA framework for composing and simulating multiphysics systems
Julia MIT License UpdatedSep 9, 2022 -
Notebooks to accompany the paper of the same name.
-
YouTubeVideoTimestamps Public
Forked from JuliaCommunity/YouTubeVideoTimestampsAdding timestamps to Julia YouTube videos!
Julia MIT License UpdatedJul 15, 2022 -
CSetAutomorphisms.jl Public
Forked from AlgebraicJulia/CSetAutomorphisms.jlAutomorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
Julia MIT License UpdatedJun 29, 2022 -
-
Nauty.jl Public
Forked from bovine3dom/Nauty.jlA small Julia wrapper for nauty
Julia Other UpdatedMar 25, 2022 -
AlgebraicDynamics.jl Public
Forked from AlgebraicJulia/AlgebraicDynamics.jlBuilding dynamical systems compositionally
Jupyter Notebook BSD 2-Clause "Simplified" License UpdatedMar 23, 2022 -
-
AlgebraicPetri.jl Public
Forked from AlgebraicJulia/AlgebraicPetri.jlBuild Petri net models compositionally
Julia MIT License UpdatedJan 31, 2022 -
-
dbplot Public
interface between plotly, postprocessing functions, and SQL databases
Python UpdatedAug 9, 2021 -
personal_website Public
Deprecated, now use slick_personal_website instead
Haskell UpdatedAug 9, 2021 -
cql_data_integration Public
Interface for generating Categorical Query Language files to merge/migrate data between databases
-
-
brute_force Public
Ignore combinatorial explosion - test properties of all instances of structures up to a particular size
Haskell UpdatedAug 9, 2021 -
Poly.jl Public
Forked from AlgebraicJulia/Poly.jlPolynomial functors and applications
Julia MIT License UpdatedJul 9, 2021 -
SMT_term_rewriting Public
Working towards typed, first-order unification modulo a set of equational axioms
-
-
-