Micah Halter mehalter

Personal website hosted @

Modificado há 46 minutos

Petri.jl
Julia 1 0

A Petri net modeling framework for the Julia programming language

Modificado há 1 dia

Modificado há 2 semanas

A julia package for representing and manipulating model semantics

Modificado há 2 semanas

dotfiles
Python 1 0

My dotfiles for my Linux rice managed with stow and make

Modificado há 3 semanas

server-dots
Vim script 0 0

Modificado há 2 meses

XDGSpec.jl
Julia 0 0

Julia library supporting various freedesktop standards.

Modificado há 2 meses

VirtualEnv.jl
Julia 1 0

Self contained virtual environments for Julia.

Modificado há 3 meses

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

Modificado há 3 meses

Modificado há 4 meses

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

Modificado há 4 meses

aoc2019
Haskell 0 0

Advent of Code 2019 Repository

Modificado há 6 meses

start-page
JavaScript 0 0

Modificado há 7 meses

lamps
C++ 0 0

NodeMCU Based RGB Lamp

Modificado há 1 ano

2048
Java 0 0

Java implementation of 2048

Modificado há 1 ano