A framework for applied category theory in the Julia language

Päivitetty 21 tuntia sitten

building SQL categorically

Päivitetty 23 tuntia sitten

Personal website hosted @

Päivitetty 5 päivää sitten

Build petri net agent based models compositionally

Päivitetty 1 viikko sitten

Landing page for AlgebraicJulia

Päivitetty 1 viikko sitten

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

Päivitetty 4 viikkoa sitten

A Petri net modeling framework for the Julia programming language

Päivitetty 1 kuukausi sitten

Self contained virtual environments for Julia.

Päivitetty 1 kuukausi sitten

Draw commutative diagrams using tikz-cd

Päivitetty 1 kuukausi sitten

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

Päivitetty 2 kuukautta sitten

My dotfiles for my Linux rice managed with stow and make

Päivitetty 3 kuukautta sitten

A julia package for representing and manipulating model semantics

Päivitetty 3 kuukautta sitten

mehalter / LMoP
RMarkdown 0 0

Päivitetty 3 kuukautta sitten

Päivitetty 4 kuukautta sitten

Päivitetty 6 kuukautta sitten

Julia library supporting various freedesktop standards.

Päivitetty 6 kuukautta sitten

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

Päivitetty 7 kuukautta sitten

Päivitetty 8 kuukautta sitten

Advent of Code 2019 Repository

Päivitetty 10 kuukautta sitten

Päivitetty 11 kuukautta sitten