GitTea

A framework for applied category theory in the Julia language

Обновлено 20 часов назад

building SQL categorically

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

Personal website hosted @

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

Build petri net agent based models compositionally

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

Landing page for AlgebraicJulia

Обновлено 1 неделю назад

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

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

A Petri net modeling framework for the Julia programming language

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

Self contained virtual environments for Julia.

Обновлено 1 месяц назад

Draw commutative diagrams using tikz-cd

Обновлено 1 месяц назад

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

Обновлено 2 месяцев назад

My dotfiles for my Linux rice managed with stow and make

Обновлено 3 месяцев назад

A julia package for representing and manipulating model semantics

Обновлено 3 месяцев назад

Обновлено 4 месяцев назад

Обновлено 6 месяцев назад

Julia library supporting various freedesktop standards.

Обновлено 6 месяцев назад

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