PL and Hardware at Cornell Engineering
marlin. 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
112machdump. A tool for low-level debugging of Mach-O files
7pulsar. Programming language for building hardware accelerators with zero-latency memory.
5hardfloat-spade. Spade wrappers for the Berkley Hardfloat floating-point library
4llvm-pass-skeleton-rs. example LLVM pass but in Rust 🦀
4spade.nvim. Syntax highlighting, LSP, and autoformatting for Spade in Neovim
4unnamed. 🖥️🦀 Extremely simple window layout engine for macOS built in Rust!
3bril-lsp. LSP for Bril in VSCode and Neovim | Parser + type inference as Rust library | Formatter
3mergelog. Magically merge multiple changelog files into one
2wii-remote-macos. Information I can find on connecting Wii remotes to macOS
1coolcar. A very COOL car
1bril.nvim. Bril for Neovim | LSP + simple wrapper around sampsyo/bril/bril-vim
1inform. Another Rust indent formatting library
1gc. C
1tmux-oxocarbon. Shell
1vitalium-plugins. Bindings to Vitalium DSP plugins
1spadefmt. Opinionated formatting for the Spade HDL
1