Build petri net agent based models compositionally

Modificado há 1 dia

A framework for applied category theory in the Julia language

Modificado há 1 dia

Landing page for AlgebraicJulia

Modificado há 2 dias

building SQL categorically

Modificado há 4 dias

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

Modificado há 2 semanas

A Petri net modeling framework for the Julia programming language

Modificado há 2 semanas

Personal website hosted @

Modificado há 3 semanas

Self contained virtual environments for Julia.

Modificado há 1 mês

Draw commutative diagrams using tikz-cd

Modificado há 1 mês

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

Modificado há 2 meses

My dotfiles for my Linux rice managed with stow and make

Modificado há 2 meses

A julia package for representing and manipulating model semantics

Modificado há 2 meses

mehalter / LMoP
RMarkdown 0 0

Modificado há 3 meses

Modificado há 4 meses

Modificado há 6 meses

Julia library supporting various freedesktop standards.

Modificado há 6 meses

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

Modificado há 7 meses

Modificado há 8 meses

Advent of Code 2019 Repository

Modificado há 10 meses

Modificado há 11 meses