Cormac Relf's repositories
vim-colors-github
A Vim colorscheme based on Github's syntax highlighting as of 2018.
dark-notify
Watcher for macOS 10.14+ light/dark mode changes
angular-skyhook
An implementation of react-dnd for Angular.
Coqtail-EasyCrypt
Interactive Coq Proofs in Vim ... now with EasyCrypt support. (You'll also want some syntax files, see linked issue.)
trouble.nvim
🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.
pam-duress
A Pluggable Authentication Module (PAM) which allows the establishment of alternate passwords that can be used to perform actions to clear sensitive data, notify IT/Security staff, close off sensitive network connections, etc if a user is coerced into giving a threat actor a password.
buck2
Build system, successor to Buck
buck2-prelude
Prelude for the Buck2 project
builder-pattern
A derivable macro for declaring a builder pattern.
grapple.nvim
Neovim plugin for tagging important files
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
rust-analyzer
A Rust compiler front-end for IDEs
Tab-Manager-Plus
An updated and improved Chrome and Firefox extension of the old google chrome extension "Tab Manager".
tree-sitter-rust
Rust grammar for tree-sitter
trunk
Build, bundle & ship your Rust WASM application to the web.
turbo-cache
Bazel CAS server implementation in Rust. Built for stability and speed in safety critical products.
wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript