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

Обновлено 3 дней назад

building SQL categorically

Обновлено 3 дней назад

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 год назад