A framework for applied category theory in the Julia language

Uppdaterad 11 timmar sedan

Build petri net agent based models compositionally

Uppdaterad 4 dagar sedan

Landing page for AlgebraicJulia

Uppdaterad 4 dagar sedan

Uppdaterad 4 dagar sedan

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

Uppdaterad 1 vecka sedan

A Petri net modeling framework for the Julia programming language

Uppdaterad 3 veckor sedan

building SQL categorically

Uppdaterad 3 veckor sedan

My julia solutions for Advent of Code

Uppdaterad 4 veckor sedan

Personal website hosted @

Uppdaterad 2 månader sedan

Self contained virtual environments for Julia.

Uppdaterad 4 månader sedan

Draw commutative diagrams using tikz-cd

Uppdaterad 4 månader sedan

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

Uppdaterad 5 månader sedan

My dotfiles for my Linux rice managed with stow and make

Uppdaterad 5 månader sedan

A julia package for representing and manipulating model semantics

Uppdaterad 5 månader sedan

mehalter / LMoP
RMarkdown 0 0

Uppdaterad 6 månader sedan

Uppdaterad 9 månader sedan

Julia library supporting various freedesktop standards.

Uppdaterad 9 månader sedan

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

Uppdaterad 10 månader sedan

Uppdaterad 11 månader sedan

Advent of Code 2019 Repository

Uppdaterad 1 år sedan