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.

Language:TypeScriptLicense:NOASSERTIONStargazers:165Issues:8Issues:56

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.)

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

datatest

Datatest -- data-driven test framework for Rust

Language:RustLicense:Apache-2.0Stargazers:1Issues:0Issues:0

edtf-rs

An implementation of the Extended Date/Time Format (EDTF).

Language:RustLicense:NOASSERTIONStargazers:1Issues:1Issues:2

trouble.nvim

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

Language:LuaStargazers:1Issues:0Issues:0

bacon

background rust code check

Language:RustLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

cbindgen

A project for generating C bindings from Rust code

Language:RustLicense:MPL-2.0Stargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

CiteprocRsKit

Swift bindings for zotero/citeproc-rs

Language:SwiftStargazers:0Issues:1Issues:5
Language:SwiftStargazers:0Issues:1Issues:0

csl-documentation

Citation Style Language documentation

Language:PythonLicense:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

dog

A command-line DNS client.

License:EUPL-1.2Stargazers:0Issues:0Issues:0
Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

miette

Fancy upgrade to std::error::Error.

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

neuron

Future-proof note-taking and publishing based on Zettelkasten

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

nix-darwin

nix modules for darwin

License:MITStargazers:0Issues:0Issues:0

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.

License:LGPL-3.0Stargazers:0Issues:0Issues:0

red-black-trees-py

Fun exploration of some Red-Black Tree variants

Language:PythonStargazers:0Issues:0Issues:0

rouge

A pure Ruby code highlighter that is compatible with Pygments

License:NOASSERTIONStargazers:0Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

schema

Citation Style Language schema

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

Tab-Manager-Plus

An updated and improved Chrome and Firefox extension of the old google chrome extension "Tab Manager".

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

wasm-bindgen

Facilitating high-level interactions between Wasm modules and JavaScript

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

wasm-pack

version of wasm-pack that can use latest binaryen wasm-opt from your path. check the Releases for a linux binary

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

zk

A plain text note-taking assistant

Language:GoLicense:GPL-3.0Stargazers:0Issues:0Issues:0

zk.nvim

Neovim plugin as a lightweight wrapper around https://github.com/mickael-menu/zk

Language:LuaLicense:GPL-3.0Stargazers:0Issues:0Issues:0