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