A framework for applied category theory in the Julia language

Оновлено 21 години тому

building SQL categorically

Оновлено 22 години тому

Personal website hosted @

Оновлено 5 дні тому

Build petri net agent based models compositionally

Оновлено 1 тиждень тому

Landing page for AlgebraicJulia

Оновлено 1 тиждень тому

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

Оновлено 4 тижднів тому

A Petri net modeling framework for the Julia programming language

Оновлено 1 місяць тому

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 місяці тому

mehalter / LMoP
RMarkdown 0 0

Оновлено 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.

Оновлено 7 місяці тому

Оновлено 8 місяці тому

Advent of Code 2019 Repository

Оновлено 10 місяці тому

Оновлено 11 місяці тому