mgritter

emojiconomy

Procjam 2019 project that builds tiny economies

soffit

A simple-to-use graph grammar engine

aoc-lh

Advent of Code 2022 in Liquid Haskell

aoc-fstar

Advent of Code solutions in F*

aoc-soffit

Advent of Code solutions in Soffit

fuzzing-talk

Fuzzing examples

aoc-pie

Advent of Code solutions in Pie

aoc2017

Advent of Code 2017 solutions in Rust

aoc2018

Advent of Code 2018 solutions (in Haskell)

ball-sort-puzzle

bearwords

Word search tool suitable for use with Alphabears.

commutativebot

Commutative diagram Tracery bot

doublecram-solver

Solver for an impartial combinatorial game

factoring-as-uno

freeauto

Code for computing Whitehead automorphisms on free groups

FStar

Verification system for effectful programs

fstarlang.github.io

The website of all things F*

go-metrics

A Golang library for exporting performance and runtime metrics to external metrics systems (i.e. statsite, statsd)

match3gen

Procedurally generated match-3 games

minnebar-talks

Minnebar session materials

oeis

sequence calculation for OEIS entries

or-tools

Google's Operations Research tools

pkcs7

Implements a subset of PKCS#7/Crytpographic Message Syntax (rfc2315, rfc5652)

sample-akita-plugin

Sample plugin for Akita Software CLI

soffit-web

svgrammar

Graph-grammar based generation of Scalable Vector Graphics.

telengard

tintri-rest-api

Tintri REST API documnetation and code examples.

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

valgrind