Benjamin Bray's repositories
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!)
remark-cite
Adds support for pandoc-style citations to the Markdown syntax for the remark and micromark parsers.
type-safari
An interactive tour of type inference algorithms, powered by `ghc-wasm-meta`.
borscht-hs
A music database curator written in Haskell.
solidjs-electron-webpack-mwe
MWE for bug with Solid.js with Electron-Webpack
benrbray.github.io
Personal website, built with Hakyll.
benrbray.github.io-old
Personal website and blog!
byline
Haskell library for creating command-line interfaces (colors, menus, etc.)
citeproc
CSL citation processing library in Haskell
curvenote-editor
An interactive scientific editor built with ProseMirror, React and Redux - by Curvenote.
dvi2html
Device independent (DVI) file format parsing with node
gridgame-react
Reusable component for grid-based word games built using Typescript + React, bundled with Parcel.
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Idris2
A purely functional programming language with first class types
IHaskell
A Haskell kernel for the Jupyter project.
pandoc
Universal markup converter
remark
Markdown processor powered by plugins part of the @unifiedjs collective
rpg-idris
An role-playing game character sheet generator, written in `idris2`!
scala
Scala 2 compiler and standard library. For bugs, see scala/bug
sketch-coq
Coq Sketches
sketch-haskell
Haskell Sketches