joshpoll Goto Github PK

mini-python

miniminesweeper

A simplified partial reimplementation of Beckett et al.'s Minesweeper.

momentum

my-little-dfta-blogpost

E-Graphs Are DFTAs

olli

A JavaScript library that converts visualizations into a keyboard-navigable structure accessible to screen readers to make visualizations more accessible for blind and low vision users.

parent-child-layout

penrose

Create beautiful diagrams just by typing mathematical notation in plain text.

plot

A concise API for exploratory data visualization

pretty-egg

Pretty Printer Using Egg

push-pull-nb

Push/Pull Reactive Notebook

react-motion

A spring that solves your animation problems.

reactive-bluefish-experiments

reactivity-visualization

A visualization of a reactive signal system

reason-react

Reason bindings for ReactJS

reason-react-example

Examples for ReasonReact

remill

Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

research-group-web

a template for research group sites

retrofit

Type-safe HTTP client for Android and Java by Square, Inc.

revamb

The rev.ng main component: the static binary translator

rockfish

Bluefish in SolidJS

rockfish-fork

sandpack

A component toolkit for creating live-running code editing experiences, using the power of CodeSandbox.

sane-spring

Spring Animations with a Reasonable Interface

sid

Idyll in Svelte

sidewinder

A dynamic program semantics visualization framework.

sidewinder-v0

small

STANDARD META ABSTRACT LANGUAGE LANGUAGE

smallviz

SMALL visual debugger built with Sidewinder

splits

Nightly benchmark dashboard for TVM's Relay IR compiler.

symbolic_algebra

390P project redone in ReasonML