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/project-m36
Project: M36 Relational Algebra Engine
kris-brown/slick_personal_website
kris-brown/soong_verification
kris-brown/theorem_proving_in_lean
Working through a tutorial on Lean Theorem Prover + proving Futurama theorem
kris-brown/mmt_kb
kris-brown/mmt
Applications built on top of a MMT knowledge base.
kris-brown/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
kris-brown/AlgebraicTypeTheory.jl
Experimentation with implementing some papers on the topic
kris-brown/graphatoms
MultiGraph representations of Atomic structures
kris-brown/units
Python manipulation for scientific units with static typing
kris-brown/composition
Functional / Music composition
kris-brown/Oiler
Mathematical coding challenges
kris-brown/ruleDB
Rule-based database generator