A framework for applied category theory in the Julia language

Atjaunināts pirms 22 stundām

building SQL categorically

Atjaunināts pirms 23 stundām

Personal website hosted @

Atjaunināts pirms 5 dienas

Build petri net agent based models compositionally

Atjaunināts pirms 1 nedēļas

Landing page for AlgebraicJulia

Atjaunināts pirms 1 nedēļas

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

Atjaunināts pirms 4 nedēļām

A Petri net modeling framework for the Julia programming language

Atjaunināts pirms 1 mēnesi

Self contained virtual environments for Julia.

Atjaunināts pirms 1 mēnesi

Draw commutative diagrams using tikz-cd

Atjaunināts pirms 1 mēnesi

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

Atjaunināts pirms 2 mēnešiem

My dotfiles for my Linux rice managed with stow and make

Atjaunināts pirms 3 mēnešiem

A julia package for representing and manipulating model semantics

Atjaunināts pirms 3 mēnešiem

mehalter / LMoP
RMarkdown 0 0

Atjaunināts pirms 3 mēnešiem

Atjaunināts pirms 4 mēnešiem

Atjaunināts pirms 6 mēnešiem

Julia library supporting various freedesktop standards.

Atjaunināts pirms 6 mēnešiem

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

Atjaunināts pirms 7 mēnešiem

Atjaunināts pirms 8 mēnešiem

Advent of Code 2019 Repository

Atjaunināts pirms 10 mēnešiem

Atjaunināts pirms 11 mēnešiem