Oliver Flatt's repositories
bearlydancing
A rhythm rpg with randomly generated beatmaps.
intervals-good
A rust interval arithmetic library which provides flags that detect domain errors.
racket-egglog
This repo implements #lang egglog, so racket users can use egglog from racket.
Adv360-Pro-ZMK-oflatt
oflatt's kinesis 360 pro bindings
Bad-Apple-Terminal
Play Bad Apple in the terminal
cedar
Implementation of the Cedar Policy Language
cedar-examples
Some examples of using the Cedar language to specify authorization
cedar-spec
Definitional implementation of Cedar language and utilities for DRT
charmania-maps
A collection of beatmaps to record for the Charmania game
egg
egraphs in rust
extraction-gym
benchmarking e-graph extraction
nightly-conf
The public nightly server configuration
nightly-runner
Run nightly, more expensive tests for several repositories
owmidiconverter
Play MIDI songs in Overwatch
portfolio-gifs
A website portfolio for Oliver Flatt.
slide-helpers
A helper library for writing great #lang slideshow slideshows
slideshow-repl
Library for interactive evaluation within a slide presentation
snake-egg
Python bindings for egg
symbolic-expressions
rust s-expression code
theforkjoin-www
TheForkJoin website
vscat
This Visual Studio Code extension automatically turns you into a very skilled hacker by playing movie-like sounds while you write code.
wasmtime
A fast and secure runtime for WebAssembly