Updated 8 months ago

A framework for applied category theory in the Julia language

Updated 4 days ago

Julia library supporting various freedesktop standards.

Updated 9 months ago

This is a work in progress of an Ansible playbook that will audit and harden PostgreSQL 9 to the DoD STIG v1r6.

Updated 9 months ago

Build petri net agent based models compositionally

Updated 2 days ago

building SQL categorically

Updated 3 weeks ago

Updated 5 months ago

Draw commutative diagrams using tikz-cd

Updated 4 months ago

This library allows one to create PGF/TikZ pictures and save in various formats.

Updated 1 week ago

Landing page for AlgebraicJulia

Updated 2 days ago

My julia solutions for Advent of Code

Updated 3 weeks ago