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