A framework for applied category theory in the Julia language

Aktualisiert vor 22 Stunden

building SQL categorically

Aktualisiert vor 23 Stunden

Personal website hosted @

Aktualisiert vor 5 Tagen

Build petri net agent based models compositionally

Aktualisiert vor 1 Woche

Landing page for AlgebraicJulia

Aktualisiert vor 1 Woche

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

Aktualisiert vor 4 Wochen

A Petri net modeling framework for the Julia programming language

Aktualisiert vor 1 Monat

Self contained virtual environments for Julia.

Aktualisiert vor 1 Monat

Draw commutative diagrams using tikz-cd

Aktualisiert vor 1 Monat

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

Aktualisiert vor 2 Monaten

My dotfiles for my Linux rice managed with stow and make

Aktualisiert vor 3 Monaten

A julia package for representing and manipulating model semantics

Aktualisiert vor 3 Monaten

mehalter / LMoP
RMarkdown 0 0

Aktualisiert vor 3 Monaten

Aktualisiert vor 4 Monaten

Aktualisiert vor 6 Monaten

Julia library supporting various freedesktop standards.

Aktualisiert vor 6 Monaten

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

Aktualisiert vor 7 Monaten

Aktualisiert vor 8 Monaten

Advent of Code 2019 Repository

Aktualisiert vor 10 Monaten

Aktualisiert vor 11 Monaten