A Petri net modeling framework for the Julia programming language

最後更新於 23 小時之前

Build petri net agent based models compositionally

最後更新於 23 小時之前

最後更新於 2 天之前

A framework for applied category theory in the Julia language

最後更新於 3 天之前

building SQL categorically

最後更新於 3 天之前

Personal website hosted @

最後更新於 4 天之前

最後更新於 3 週之前

A julia package for representing and manipulating model semantics

最後更新於 3 週之前

My dotfiles for my Linux rice managed with stow and make

最後更新於 1 月之前

最後更新於 2 月之前

Julia library supporting various freedesktop standards.

最後更新於 3 月之前

Self contained virtual environments for Julia.

最後更新於 3 月之前

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

最後更新於 3 月之前

最後更新於 4 月之前

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

最後更新於 4 月之前

Advent of Code 2019 Repository

最後更新於 6 月之前

最後更新於 7 月之前

NodeMCU Based RGB Lamp

最後更新於 1 年之前

Java implementation of 2048

最後更新於 1 年之前

This is a java based reverse polish notation calculator for my current advanced programming class. I started off building a stack data structure class, and then built this calculator around it.

最後更新於 1 年之前