Pinned Repositories
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.
AdamBots-FIRST-2013-Robot-Code
Code for FRC FIRST Team 245's robot.
benrbray.github.io
Personal website, built with Hakyll.
borscht-hs
A music database curator written in Haskell.
feedme
Lightweight RSS feed reader extension for Chrome.
noteworthy
Markdown editor with bidirectional links and excellent math support, powered by ProseMirror. (In Development!)
prosemirror-math
Schema and plugins for "first-class" math support in ProseMirror!
remark-cite
Adds support for pandoc-style citations to the Markdown syntax for the remark and micromark parsers.
tikzjax
TikZJax is TikZ running under WebAssembly in the browser
yagi-lang
Yagi is a toy language for understanding dependent type theory!
benrbray's Repositories
benrbray/prosemirror-math
Schema and plugins for "first-class" math support in ProseMirror!
benrbray/noteworthy
Markdown editor with bidirectional links and excellent math support, powered by ProseMirror. (In Development!)
benrbray/remark-cite
Adds support for pandoc-style citations to the Markdown syntax for the remark and micromark parsers.
benrbray/tikzjax
TikZJax is TikZ running under WebAssembly in the browser
benrbray/type-safari
An interactive tour of type inference algorithms, powered by `ghc-wasm-meta`.
benrbray/borscht-hs
A music database curator written in Haskell.
benrbray/solidjs-electron-webpack-mwe
MWE for bug with Solid.js with Electron-Webpack
benrbray/yagi-lang
Yagi is a toy language for understanding dependent type theory!
benrbray/benrbray.github.io
Personal website, built with Hakyll.
benrbray/benrbray.github.io-old
Personal website and blog!
benrbray/byline
Haskell library for creating command-line interfaces (colors, menus, etc.)
benrbray/citeproc
CSL citation processing library in Haskell
benrbray/curvenote-editor
An interactive scientific editor built with ProseMirror, React and Redux - by Curvenote.
benrbray/dvi2html
Device independent (DVI) file format parsing with node
benrbray/ghc-wasm-example
benrbray/gridgame-react
Reusable component for grid-based word games built using Typescript + React, bundled with Parcel.
benrbray/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
benrbray/Idris2
A purely functional programming language with first class types
benrbray/IHaskell
A Haskell kernel for the Jupyter project.
benrbray/mikan
時間 for me
benrbray/pandoc
Universal markup converter
benrbray/remark
Markdown processor powered by plugins part of the @unifiedjs collective
benrbray/rpg
benrbray/rpg-idris
An role-playing game character sheet generator, written in `idris2`!
benrbray/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
benrbray/sketch-coq
Coq Sketches
benrbray/sketch-haskell
Haskell Sketches
benrbray/smartcloud-prices
benrbray/solidjs-mwe
benrbray/yaraku-test