mgritter
Principal engineer @postmanlabs. ex-@akitasoftware, ex-@HashiCorp, ex-@Tintri
Postman, Inc.Eagan, MN
Pinned Repositories
aoc-fstar
Advent of Code solutions in F*
aoc-lh
Advent of Code 2022 in Liquid Haskell
aoc-soffit
Advent of Code solutions in Soffit
emojiconomy
Procjam 2019 project that builds tiny economies
soffit
A simple-to-use graph grammar engine
tracery2eth
A very silly tracery to Solidity compiler
mgritter's Repositories
mgritter/emojiconomy
Procjam 2019 project that builds tiny economies
mgritter/soffit
A simple-to-use graph grammar engine
mgritter/aoc-lh
Advent of Code 2022 in Liquid Haskell
mgritter/aoc-fstar
Advent of Code solutions in F*
mgritter/aoc-soffit
Advent of Code solutions in Soffit
mgritter/fuzzing-talk
Fuzzing examples
mgritter/aoc-pie
Advent of Code solutions in Pie
mgritter/aoc2017
Advent of Code 2017 solutions in Rust
mgritter/aoc2018
Advent of Code 2018 solutions (in Haskell)
mgritter/ball-sort-puzzle
mgritter/bearwords
Word search tool suitable for use with Alphabears.
mgritter/commutativebot
Commutative diagram Tracery bot
mgritter/doublecram-solver
Solver for an impartial combinatorial game
mgritter/factoring-as-uno
mgritter/freeauto
Code for computing Whitehead automorphisms on free groups
mgritter/FStar
Verification system for effectful programs
mgritter/fstarlang.github.io
The website of all things F*
mgritter/go-metrics
A Golang library for exporting performance and runtime metrics to external metrics systems (i.e. statsite, statsd)
mgritter/match3gen
Procedurally generated match-3 games
mgritter/minnebar-talks
Minnebar session materials
mgritter/oeis
sequence calculation for OEIS entries
mgritter/or-tools
Google's Operations Research tools
mgritter/pkcs7
Implements a subset of PKCS#7/Crytpographic Message Syntax (rfc2315, rfc5652)
mgritter/sample-akita-plugin
Sample plugin for Akita Software CLI
mgritter/soffit-web
mgritter/svgrammar
Graph-grammar based generation of Scalable Vector Graphics.
mgritter/telengard
mgritter/tintri-rest-api
Tintri REST API documnetation and code examples.
mgritter/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
mgritter/valgrind