Projects

Open source software and hardware I have written, from developer tools to the code behind my research. Every project is on GitHub.

Dottr

A dotfiles and package manager with its own manifest language, and its editor support.

Dottr Sets up a machine from a manifest of packages, configuration, and shell scripts, on Linux, macOS, and Windows. C tree-sitter-dottr Tree-sitter grammar and editor queries for Dottr manifests. C (generated), JavaScript vscode-dottr Visual Studio Code extension for Dottr manifests, with the Dottr language server. TypeScript

Neovim, VS Code, and tree-sitter

Parser management for Neovim, tree-sitter grammars for languages without one, and a VS Code extension for SPAR assembly.

gardener.nvim Tree-sitter parser management for Neovim on the main branch of nvim-treesitter. Lua tree-sitter-mlir A tree-sitter grammar for MLIR, derived from the MLIR language reference rather than a list of dialects. C (generated), JavaScript tree-sitter-spar A tree-sitter grammar and highlighting for SPAR assembly, the assembly language of the SPAR processor. C (generated), JavaScript vscode-spar Visual Studio Code extension for SPAR assembly, with highlighting and snippets. JavaScript

Research code

Code from published research.

Kyber512 in Hardware A pure-hardware Kyber512 CCA-secure key encapsulation mechanism for FPGAs, with a masked variant and AXI IP packages. Verilog, VHDL CuSMC An R package for Sequential Monte Carlo sampling, accelerated with CUDA on NVIDIA GPUs. C++, CUDA, R