A Petri net modeling framework for the Julia programming language

最終更新 1日前

Build petri net agent based models compositionally

最終更新 1日前

mehalter / LMoP
RMarkdown 0 0

最終更新 3日前

A framework for applied category theory in the Julia language

最終更新 4日前

building SQL categorically

最終更新 4日前

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年前