Cormac Relf's repositories
vim-colors-github
A Vim colorscheme based on Github's syntax highlighting as of 2018.
angular-skyhook
An implementation of react-dnd for Angular.
dark-notify
Watcher for macOS 10.14+ light/dark mode changes
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.
bacon
background rust code check
cbindgen
A project for generating C bindings from Rust code
CiteprocRsKit
Swift bindings for zotero/citeproc-rs
csl-documentation
Citation Style Language documentation
dog
A command-line DNS client.
miette
Fancy upgrade to std::error::Error.
neuron
Future-proof note-taking and publishing based on Zettelkasten
nix-darwin
nix modules for darwin
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.
red-black-trees-py
Fun exploration of some Red-Black Tree variants
rouge
A pure Ruby code highlighter that is compatible with Pygments
rust
Empowering everyone to build reliable and efficient software.
schema
Citation Style Language schema
Tab-Manager-Plus
An updated and improved Chrome and Firefox extension of the old google chrome extension "Tab Manager".
wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
wasm-pack
version of wasm-pack that can use latest binaryen wasm-opt from your path. check the Releases for a linux binary
zk
A plain text note-taking assistant
zk.nvim
Neovim plugin as a lightweight wrapper around https://github.com/mickael-menu/zk
