A Petri net modeling framework for the Julia programming language

Actualizado hace 1 día

Build petri net agent based models compositionally

Actualizado hace 1 día

mehalter / LMoP
RMarkdown 0 0

Actualizado hace 3 días

A framework for applied category theory in the Julia language

Actualizado hace 4 días

building SQL categorically

Actualizado hace 4 días

Personal website hosted @

Actualizado hace 5 días

Actualizado hace 3 semanas

A julia package for representing and manipulating model semantics

Actualizado hace 3 semanas

My dotfiles for my Linux rice managed with stow and make

Actualizado hace 1 mes

Actualizado hace 2 meses

Julia library supporting various freedesktop standards.

Actualizado hace 3 meses

Self contained virtual environments for Julia.

Actualizado hace 3 meses

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

Actualizado hace 3 meses

Actualizado hace 4 meses

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

Actualizado hace 4 meses

Advent of Code 2019 Repository

Actualizado hace 6 meses

Actualizado hace 7 meses

NodeMCU Based RGB Lamp

Actualizado hace 1 año

Java implementation of 2048

Actualizado hace 1 año

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.

Actualizado hace 1 año