Josh Pollock's repositories
leaverou.github.io
Just a data repo, I don't intend to put a website here for now
research-group-web
a template for research group sites
bs-kiwi
Declarative BuckleScript Wrapper for Kiwi Constraint Solver
bluefishv2
Discrete Diagram Visualizer
bluefishv1
Discrete Diagram Visualizer
bluefish-playground
Bluefish Experiments and High-Level Thoughts
measure-dom-elements
Measure Dom Elements
bril
an educational compiler intermediate representation
bluefishv0
PoC Kiwi-based Diagrams
kiwi.js
Fast TypeScript implementation of the Cassowary constraint solving algorithm đź––
am-i-egg
abstract machines in egg
sidewinder
A dynamic program semantics visualization framework.
egg
egraphs good
idyll-svelte
Idyll in Svelte POC
ffs
Visualization of a very small SML-like language.
brain-unfucked
Brainfuck PSV tool using Sidewinder
react-motion
A spring that solves your animation problems.
SMALLviz
SMALL visual debugger built with Sidewinder
MiniMinesweeper
A simplified partial reimplementation of Beckett et al.'s Minesweeper.
uwsaml.github.io
The UW SAML group's website.
hamlet
SML reference interpreter
theia-sml
Automatically Visualizing Program Execution
cpython
The Python programming language
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators