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