A Petri net modeling framework for the Julia programming language

Päivitetty 1 päivä sitten

Build petri net agent based models compositionally

Päivitetty 1 päivä sitten

Päivitetty 3 päivää sitten

A framework for applied category theory in the Julia language

Päivitetty 4 päivää sitten

building SQL categorically

Päivitetty 4 päivää sitten

Personal website hosted @

Päivitetty 5 päivää sitten

Päivitetty 3 viikkoa sitten

A julia package for representing and manipulating model semantics

Päivitetty 3 viikkoa sitten

My dotfiles for my Linux rice managed with stow and make

Päivitetty 1 kuukausi sitten

Päivitetty 2 kuukautta sitten

Julia library supporting various freedesktop standards.

Päivitetty 3 kuukautta sitten

Self contained virtual environments for Julia.

Päivitetty 3 kuukautta sitten

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

Päivitetty 3 kuukautta sitten

Päivitetty 4 kuukautta sitten

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

Päivitetty 4 kuukautta sitten

Advent of Code 2019 Repository

Päivitetty 6 kuukautta sitten

Päivitetty 7 kuukautta sitten

NodeMCU Based RGB Lamp

Päivitetty 1 vuosi sitten

Java implementation of 2048

Päivitetty 1 vuosi sitten

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.

Päivitetty 1 vuosi sitten