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