Johann Rudloff's repositories
ocaml-docset
Moved to sourcehut
bupstash
Easy and efficient encrypted backups.
Language:RustMIT000
chihaya
A customizable, multi-protocol BitTorrent Tracker
Language:GoNOASSERTION000
Idris2-boot
A dependently typed programming language, a successor to Idris, with an incomplete ECMAScript backend
Language:IdrisNOASSERTION000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
000
llvm-statepoint-utils
Runtime support for LLVM's GC Statepoints
Language:CMIT000
NeoSolarized
NeoSolarized: A fixed solarized colorscheme for better truecolor support.
Language:Vim ScriptMIT000
pyspice-notebook
Moved to sourcehut
racket
The Racket repository
Language:SchemeNOASSERTION000
terraform-provider-dns-he-net
Hurricane Electric DNS Terraform Provider
GPL-3.0000
vimr
VimR — Neovim GUI for macOS
Language:SwiftMIT000