A framework for applied category theory in the Julia language

Aggiornato 22 ore fa

building SQL categorically

Aggiornato 23 ore fa

Personal website hosted @

Aggiornato 5 giorni fa

Build petri net agent based models compositionally

Aggiornato 1 settimana fa

Landing page for AlgebraicJulia

Aggiornato 1 settimana fa

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

Aggiornato 4 settimane fa

A Petri net modeling framework for the Julia programming language

Aggiornato 1 mese fa

Self contained virtual environments for Julia.

Aggiornato 1 mese fa

Draw commutative diagrams using tikz-cd

Aggiornato 1 mese fa

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

Aggiornato 2 mesi fa

My dotfiles for my Linux rice managed with stow and make

Aggiornato 3 mesi fa

A julia package for representing and manipulating model semantics

Aggiornato 3 mesi fa

mehalter / LMoP
RMarkdown 0 0

Aggiornato 3 mesi fa

Aggiornato 4 mesi fa

Aggiornato 6 mesi fa

Julia library supporting various freedesktop standards.

Aggiornato 6 mesi fa

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

Aggiornato 7 mesi fa

Aggiornato 8 mesi fa

Advent of Code 2019 Repository

Aggiornato 10 mesi fa

Aggiornato 11 mesi fa