Pinned Repositories
egg
egg is a flexible, high-performance e-graph library
eggcc
egglog
egraphs + datalog!
herbie
Optimize floating-point expressions for accuracy
bearlydancing
A rhythm rpg with randomly generated beatmaps.
esonify
An emacs extension that sonifies your code.
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.
soniconion
space-orbs
Online Multiplayer FPS
oflatt's Repositories
oflatt/soniconion
oflatt/bearlydancing
A rhythm rpg with randomly generated beatmaps.
oflatt/intervals-good
A rust interval arithmetic library which provides flags that detect domain errors.
oflatt/racket-egglog
This repo implements #lang egglog, so racket users can use egglog from racket.
oflatt/egglog
oflatt/Adv360-Pro-ZMK-oflatt
oflatt's kinesis 360 pro bindings
oflatt/Bad-Apple-Terminal
Play Bad Apple in the terminal
oflatt/bananas-now
oflatt/cedar
Implementation of the Cedar Policy Language
oflatt/cedar-examples
Some examples of using the Cedar language to specify authorization
oflatt/cedar-rfcs
oflatt/cedar-spec
Definitional implementation of Cedar language and utilities for DRT
oflatt/egg
egraphs in rust
oflatt/extraction-gym
benchmarking e-graph extraction
oflatt/flow-deluxe-website
oflatt/nightly-conf
The public nightly server configuration
oflatt/nightly-runner
Run nightly, more expensive tests for several repositories
oflatt/owmidiconverter
Play MIDI songs in Overwatch
oflatt/portfolio
A website portfolio for Oliver Flatt
oflatt/portfolio-gifs
A website portfolio for Oliver Flatt.
oflatt/shader-plse-game-jam
oflatt/slide-helpers
A helper library for writing great #lang slideshow slideshows
oflatt/slideshow-repl
Library for interactive evaluation within a slide presentation
oflatt/snake-egg
Python bindings for egg
oflatt/symbolic-expressions
rust s-expression code
oflatt/talks
oflatt/theforkjoin-www
TheForkJoin website
oflatt/video-souls
oflatt/vscat
This Visual Studio Code extension automatically turns you into a very skilled hacker by playing movie-like sounds while you write code.
oflatt/wasmtime
A fast and secure runtime for WebAssembly