A Petri net modeling framework for the Julia programming language

最后更新于 21 小时前

Build petri net agent based models compositionally

最后更新于 21 小时前

mehalter / LMoP
RMarkdown 0 0

最后更新于 2 天前

A framework for applied category theory in the Julia language

最后更新于 3 天前

building SQL categorically

最后更新于 3 天前

Personal website hosted @

最后更新于 4 天前

最后更新于 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年前