Skip to content
View kris-brown's full-sized avatar
Block or Report

Block or report kris-brown

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Simplest simulation to use non-Exponential transitions

Julia 5 Updated Jul 1, 2024

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

TypeScript 6,193 2,386 Updated Jul 28, 2024

A package for simple property based testing in julia.

Julia 81 Updated Mar 13, 2024

ACSets: Algebraic databases as in-memory data structures

Julia 17 7 Updated Jul 1, 2024

A simplified Catlab.jl for teaching

Jupyter Notebook 12 3 Updated May 15, 2024

A graphical editor for graph-like structures

Scala 92 10 Updated Dec 18, 2023

Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.

Julia 11 3 Updated Oct 30, 2023

Tool for building graph-based hierarchical knowledge representation systems

Python 73 16 Updated Apr 7, 2023

A small Julia wrapper for nauty

Julia 8 6 Updated Mar 29, 2024

Scientific computing in Lean 4

Lean 255 18 Updated Jul 25, 2024

Hello world for Gerby

TeX 5 16 Updated Nov 25, 2023

Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures

Julia 12 2 Updated Oct 30, 2023

DBgen (Database Generator) is an open-source Python library for connecting raw data, scientific theories, and relational databases

Python 7 3 Updated Feb 16, 2023

A TikZ library of wiring diagrams

TeX 22 4 Updated Feb 19, 2019

Experimentation with implementing some papers on the topic

Julia 2 Updated May 21, 2020

A framework for applied category theory in the Julia language

Julia 605 56 Updated Jul 17, 2024

ACT community resources

463 25 Updated Nov 26, 2019