A framework for applied category theory in the Julia language

最後更新於 22 小時之前

building SQL categorically

最後更新於 1 天之前

Personal website hosted @

最後更新於 5 天之前

Build petri net agent based models compositionally

最後更新於 1 周之前

Landing page for AlgebraicJulia

最後更新於 1 周之前

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

最後更新於 4 週之前

A Petri net modeling framework for the Julia programming language

最後更新於 1 月之前

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 月之前