building SQL categorically

Atualizado 2 horas atrás

Build petri net agent based models compositionally

Atualizado 2 horas atrás

A framework for applied category theory in the Julia language

Atualizado 20 horas atrás

A Petri net modeling framework for the Julia programming language

Atualizado 22 horas atrás

Personal website hosted @

Atualizado 1 dia atrás

Atualizado 2 semanas atrás

A julia package for representing and manipulating model semantics

Atualizado 2 semanas atrás

My dotfiles for my Linux rice managed with stow and make

Atualizado 1 mês atrás

Atualizado 2 meses atrás

Julia library supporting various freedesktop standards.

Atualizado 3 meses atrás

Self contained virtual environments for Julia.

Atualizado 3 meses atrás

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

Atualizado 3 meses atrás

Atualizado 4 meses atrás

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

Atualizado 4 meses atrás

Advent of Code 2019 Repository

Atualizado 6 meses atrás

Atualizado 7 meses atrás

NodeMCU Based RGB Lamp

Atualizado 1 ano atrás

Java implementation of 2048

Atualizado 1 ano atrás

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.

Atualizado 1 ano atrás

This is a Java implementation of a multiplayer version of Conway's Game of Life two-dimensional cellular automata.

Atualizado 1 ano atrás