A framework for applied category theory in the Julia language
Updated 2 days ago
Build petri net agent based models compositionally
Updated 2 weeks ago
building SQL categorically
Updated 3 weeks ago
A Petri net modeling framework for the Julia programming language
Updated 4 weeks ago
Landing page for AlgebraicJulia
Updated 2 months ago
This library allows one to create PGF/TikZ pictures and save in various formats.
Updated 2 months ago
My dotfiles for my Linux rice managed with stow and make
Updated 2 months ago
Personal website hosted @
Updated 3 months ago
Updated 4 months ago
My julia solutions for Advent of Code
Updated 5 months ago
Self contained virtual environments for Julia.
Updated 8 months ago
Draw commutative diagrams using tikz-cd
Updated 9 months ago
This is a collection of LaTeX, pandoc markdown, and rmarkdown templates for the Georgia Tech Research Institute.
Updated 9 months ago
A julia package for representing and manipulating model semantics
Updated 10 months ago
Updated 10 months ago
Updated 1 year ago
Julia library supporting various freedesktop standards.
Updated 1 year ago
This is a work in progress of an Ansible playbook that will audit and harden PostgreSQL 9 to the DoD STIG v1r6.
Updated 1 year ago
Updated 1 year ago
Advent of Code 2019 Repository
Updated 1 year ago