building SQL categorically

Оновлено 1 година тому

Build petri net agent based models compositionally

Оновлено 2 години тому

A framework for applied category theory in the Julia language

Оновлено 20 години тому

A Petri net modeling framework for the Julia programming language

Оновлено 21 години тому

Personal website hosted @

Оновлено 1 день тому

Оновлено 2 тижднів тому

A julia package for representing and manipulating model semantics

Оновлено 2 тижднів тому

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 рік тому

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

Оновлено 1 рік тому