-
Topos Institute
- https://krisb.org
- @ksb_id
Stars
A collaborative environment for formal, interoperable, conceptual modeling
Simplest simulation to use non-Exponential transitions
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
A package for simple property based testing in julia.
ACSets: Algebraic databases as in-memory data structures
A simplified Catlab.jl for teaching
A graphical editor for graph-like structures
Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
Tool for building graph-based hierarchical knowledge representation systems
Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures
DBgen (Database Generator) is an open-source Python library for connecting raw data, scientific theories, and relational databases
Experimentation with implementing some papers on the topic
A framework for applied category theory in the Julia language