Benjamin Bray

prosemirror-math. Schema and plugins for "first-class" math support in ProseMirror!

noteworthy. Markdown editor with bidirectional links and excellent math support, powered by ProseMirror. (In Development!)

tikzjax. TikZJax is TikZ running under WebAssembly in the browser

remark-cite. Adds support for pandoc-style citations to the Markdown syntax for the remark and micromark parsers.

AdamBots-FIRST-2013-Robot-Code. Code for FRC FIRST Team 245's robot.

feedme. Lightweight RSS feed reader extension for Chrome.

adambots-automated-scouting-kit. The "Adambots Automated Scouting Kit" (AASK) is a tool designed to help FRC teams strategize, prioritize, and optimize at FIRST events. Yes, that was cheesy, I'll change it later.

type-safari. An interactive tour of type inference algorithms, powered by `ghc-wasm-meta`.

borscht-hs. A music database curator written in Haskell.

rpg-cards-typst. Typst

yagi-lang. Yagi is a toy language for understanding dependent type theory!

Pumpkin-Jam-Team-Surprise-Walrus. Made in 48 hours for the WolverineSoft 2014 Pumpkin Jam!

matey. A Python numerical linear algebra library for pyrates, written in C.

benrbray.github.io-hakyll. Personal website, built with Hakyll.

solidjs-electron-webpack-mwe. MWE for bug with Solid.js with Electron-Webpack