Micah Halter mehalter

Personal website hosted @

Updated 6 days ago

Petri.jl
Julia 1 0

A Petri net modeling framework for the Julia programming language

Updated 1 month ago

VirtualEnv.jl
Julia 1 0

Self contained virtual environments for Julia.

Updated 2 months ago

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

Updated 3 months ago

dotfiles
Python 1 0

My dotfiles for my Linux rice managed with stow and make

Updated 3 months ago

A julia package for representing and manipulating model semantics

Updated 4 months ago

LMoP
RMarkdown 0 0

Updated 4 months ago

Updated 5 months ago

server-dots
Vim script 0 0

Updated 7 months ago

XDGSpec.jl
Julia 0 0

Julia library supporting various freedesktop standards.

Updated 7 months ago

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

Updated 8 months ago

Updated 9 months ago

aoc2019
Haskell 0 0

Advent of Code 2019 Repository

Updated 11 months ago

start-page
JavaScript 0 0

Updated 1 year ago

lamps
C++ 0 0

NodeMCU Based RGB Lamp

Updated 1 year ago