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