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 рік тому