mgritter

Principal engineer @postmanlabs. ex-@akitasoftware, ex-@HashiCorp, ex-@Tintri

Postman, Inc.Eagan, MN

Pinned Repositories

aoc-fstar
Advent of Code solutions in F*
Language:F*2 3 01
aoc-lh
Advent of Code 2022 in Liquid Haskell
Language:Haskell5 3 00
aoc-soffit
Advent of Code solutions in Soffit
Language:Python2 3 00
emojiconomy
Procjam 2019 project that builds tiny economies
Language:Python28 4 05
soffit
A simple-to-use graph grammar engine
Language:Python10 3 01
tracery2eth
A very silly tracery to Solidity compiler
Language:Python2 3 02

mgritter's Repositories

mgritter/tracery2eth
A very silly tracery to Solidity compiler
Language:Python2 3 02
mgritter/advent-of-cuda
Parallel solutions (using CUDA) to Advent of Code problems
Language:C1 3 01
mgritter/aoc2016
Advent of Code 2016 solutions (in Swift!)
Language:Swift1 3 01
mgritter/artbot
A sample artbot for a Minnebar session
Language:JavaScript1
mgritter/match3gen
Procedurally generated match-3 games
Language:Python3 11
mgritter/NextRoguelike
Tracery-based twitter bot generating roguelike game descriptions
2 0
mgritter/tintri-python-sdk
Python SDK for Tintri REST APIs
Language:Python3 0