Build petri net agent based models compositionally

Mis à jour il y a 1 jour

A framework for applied category theory in the Julia language

Mis à jour il y a 1 jour

Landing page for AlgebraicJulia

Mis à jour il y a 2 jours

building SQL categorically

Mis à jour il y a 4 jours

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

Mis à jour il y a 2 semaines

A Petri net modeling framework for the Julia programming language

Mis à jour il y a 2 semaines

Personal website hosted @

Mis à jour il y a 3 semaines

Self contained virtual environments for Julia.

Mis à jour il y a 1 mois

Draw commutative diagrams using tikz-cd

Mis à jour il y a 1 mois

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

Mis à jour il y a 2 mois

My dotfiles for my Linux rice managed with stow and make

Mis à jour il y a 2 mois

A julia package for representing and manipulating model semantics

Mis à jour il y a 2 mois

mehalter / LMoP
RMarkdown 0 0

Mis à jour il y a 3 mois

Mis à jour il y a 4 mois

Mis à jour il y a 6 mois

Julia library supporting various freedesktop standards.

Mis à jour il y a 6 mois

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

Mis à jour il y a 7 mois

Mis à jour il y a 8 mois

Advent of Code 2019 Repository

Mis à jour il y a 10 mois

Mis à jour il y a 11 mois