A framework for applied category theory in the Julia language

最終更新 1日前

Build petri net agent based models compositionally

最終更新 4日前

Landing page for AlgebraicJulia

最終更新 4日前

最終更新 4日前

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

最終更新 1週間前

A Petri net modeling framework for the Julia programming language

最終更新 3週間前

building SQL categorically

最終更新 3週間前

My julia solutions for Advent of Code

最終更新 4週間前

Personal website hosted @

最終更新 2ヶ月前

Self contained virtual environments for Julia.

最終更新 4ヶ月前

Draw commutative diagrams using tikz-cd

最終更新 4ヶ月前

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

最終更新 5ヶ月前

My dotfiles for my Linux rice managed with stow and make

最終更新 5ヶ月前

A julia package for representing and manipulating model semantics

最終更新 5ヶ月前

最終更新 6ヶ月前

最終更新 9ヶ月前

Julia library supporting various freedesktop standards.

最終更新 9ヶ月前

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

最終更新 10ヶ月前

最終更新 11ヶ月前

Advent of Code 2019 Repository

最終更新 1年前