A Petri net modeling framework for the Julia programming language

업데이트됨 1 일 전

Build petri net agent based models compositionally

업데이트됨 1 일 전

업데이트됨 3 일 전

A framework for applied category theory in the Julia language

업데이트됨 4 일 전

building SQL categorically

업데이트됨 4 일 전

Personal website hosted @

업데이트됨 5 일 전

업데이트됨 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 년 전