A framework for applied category theory in the Julia language

更新於 1 天前

Build petri net agent based models compositionally

更新於 4 天前

Landing page for AlgebraicJulia

更新於 4 天前

更新於 4 天前

This library allows one to create PGF/TikZ pictures and save in various formats.

更新於 1 週前

A Petri net modeling framework for the Julia programming language

更新於 3 週前

building SQL categorically

更新於 3 週前

My julia solutions for Advent of Code

更新於 4 週前

Personal website hosted @

更新於 2 個月前

Self contained virtual environments for Julia.

更新於 4 個月前

Draw commutative diagrams using tikz-cd

更新於 4 個月前

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

更新於 5 個月前

My dotfiles for my Linux rice managed with stow and make

更新於 5 個月前

A julia package for representing and manipulating model semantics

更新於 5 個月前

mehalter / LMoP
RMarkdown 0 0

更新於 6 個月前

更新於 9 個月前

Julia library supporting various freedesktop standards.

更新於 9 個月前

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

更新於 10 個月前

更新於 11 個月前

Advent of Code 2019 Repository

更新於 1 年前