A framework for applied category theory in the Julia language

最終更新 22時間前

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