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年前