A framework for applied category theory in the Julia language

Updated 20 hours ago

building SQL categorically

Updated 2 days ago

Personal website hosted @

Updated 2 days ago

Build petri net agent based models compositionally

Updated 4 days ago

Landing page for AlgebraicJulia

Updated 1 week ago

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

Updated 3 weeks ago

A Petri net modeling framework for the Julia programming language

Updated 3 weeks ago

Self contained virtual environments for Julia.

Updated 1 month ago

Draw commutative diagrams using tikz-cd

Updated 1 month ago

This is a collection of LaTeX, pandoc markdown, and rmarkdown templates for the Georgia Tech Research Institute.

Updated 2 months ago

My dotfiles for my Linux rice managed with stow and make

Updated 3 months ago

A julia package for representing and manipulating model semantics

Updated 3 months ago

mehalter / LMoP
RMarkdown 0 0

Updated 3 months ago

Updated 4 months ago

Updated 6 months ago

Julia library supporting various freedesktop standards.

Updated 6 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 7 months ago

Updated 8 months ago

Advent of Code 2019 Repository

Updated 10 months ago

Updated 11 months ago