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