Sam Estep's repositories
whisper-web
Webapp to transcribe YouTube videos via OpenAI's Whisper.
eslint-plugin-unary-minus
A typescript-eslint plugin restricting unary negation to numbers.
adroit
AD on first-order SSA functions with arrays and algebraic types.
austral
Systems language with linear types and capability-based security.
austral.github.io
The website for the Austral programming language.
binaryen
Optimizer and compiler/toolchain library for WebAssembly
binaryuan
Lightweight JavaScript rewrite of the core of Binaryen.
catala
Programming language for literate programming law specification
catala-examples
Collection of Catala programs
catala-website
Source code for the website of the Catala language
chumsky
Write expressive, high-performance parsers with ease.
cs6120
Working through the Cornell CS 6120 Advanced Compilers course.
grackle
Diagram with JSX.
gvc0
Gradually Verified C0
pyodide
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
vscode
Visual Studio Code
wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
wax
A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
wbg-sin
Repro repo for wasm-bindgen trig bug.