A framework for applied category theory in the Julia language

Ажурирано пре 21 часа

building SQL categorically

Ажурирано пре 2 дана

Personal website hosted @

Ажурирано пре 2 дана

Build petri net agent based models compositionally

Ажурирано пре 4 дана

Landing page for AlgebraicJulia

Ажурирано пре 1 недеља

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

Ажурирано пре 3 недеља

A Petri net modeling framework for the Julia programming language

Ажурирано пре 3 недеља

Self contained virtual environments for Julia.

Ажурирано пре 1 месец

Draw commutative diagrams using tikz-cd

Ажурирано пре 1 месец

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

Ажурирано пре 2 месеци

My dotfiles for my Linux rice managed with stow and make

Ажурирано пре 3 месеци

A julia package for representing and manipulating model semantics

Ажурирано пре 3 месеци

Ажурирано пре 3 месеци

Ажурирано пре 4 месеци

Ажурирано пре 6 месеци

Julia library supporting various freedesktop standards.

Ажурирано пре 6 месеци

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

Ажурирано пре 7 месеци

Ажурирано пре 8 месеци

Advent of Code 2019 Repository

Ажурирано пре 10 месеци

Ажурирано пре 11 месеци