kris-brown's Stars
kris-brown/ROLE
Code related to logical expressivism
ToposInstitute/CatColab
A collaborative environment for formal, interoperable, conceptual modeling
adolgert/CompetingClocks.jl
Simplest simulation to use non-Exponential transitions
jackyzha0/quartz
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
Seelengrab/PropCheck.jl
A package for simple property based testing in julia.
AlgebraicJulia/ACSets.jl
ACSets: Algebraic databases as in-memory data structures
AlgebraicJulia/Kittenlab.jl
A simplified Catlab.jl for teaching
AlgebraicJulia/Semagrams.jl
A graphical editor for graph-like structures
AlgebraicJulia/ModelExploration.jl
Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
Kappa-Dev/ReGraph
Tool for building graph-based hierarchical knowledge representation systems
bovine3dom/Nauty.jl
A small Julia wrapper for nauty
lecopivo/SciLean
Scientific computing in Lean 4
gerby-project/hello-world
Hello world for Gerby
AlgebraicJulia/CSetAutomorphisms.jl
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
google/soong_verification
modelyst/dbgen
DBgen (Database Generator) is an open-source Python library for connecting raw data, scientific theories, and relational databases
appliedcategorytheory/TikZWD
A TikZ library of wiring diagrams
kris-brown/AlgebraicTypeTheory.jl
Experimentation with implementing some papers on the topic
AlgebraicJulia/Catlab.jl
A framework for applied category theory in the Julia language
statebox/awesome-applied-ct
ACT community resources