mgritter Goto Github PK

advent-of-cuda

Parallel solutions (using CUDA) to Advent of Code problems

aoc-fstar

Advent of Code solutions in F*

aoc-lh

Advent of Code 2022 in Liquid Haskell

aoc-pie

Advent of Code solutions in Pie

aoc-soffit

Advent of Code solutions in Soffit

aoc2016

Advent of Code 2016 solutions (in Swift!)

aoc2017

Advent of Code 2017 solutions in Rust

aoc2018

Advent of Code 2018 solutions (in Haskell)

artbot

A sample artbot for a Minnebar session

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

emojiconomy

Procjam 2019 project that builds tiny economies

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*

fuzzing-talk

Fuzzing examples

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

nextroguelike

Tracery-based twitter bot generating roguelike game descriptions

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

A simple-to-use graph grammar engine

soffit-web

svgrammar

Graph-grammar based generation of Scalable Vector Graphics.