rutgerbrf's Stars
coq-community/coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
tweag/nickel
Better configuration for less
nix-community/rnix-parser
A Nix parser written in Rust [maintainer=@oberblastmeister]
haskell-nix/hnix
A Haskell re-implementation of the Nix expression language
CertiCoq/VeriFFI
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
whonore/Coqtail
Interactive Coq Proofs in Vim
Mic92/sops-nix
Atomic secret provisioning for NixOS based on sops
cstate/cstate
🔥 Open source static (serverless) status page. Uses hyperfast Go & Hugo, minimal HTML/CSS/JS, customizable, outstanding browser support (IE8+), preloaded CMS, read-only API, badges & more.
tweedegolf/mailcrab
Email test server for development, written in Rust
opentofu/opentofu
OpenTofu lets you declaratively manage your cloud infrastructure.
georgd/EB-Garamond
Digitization of the Garamond shown on the Egenolff-Berner specimen
serokell/deploy-rs
A simple multi-profile Nix-flake deploy tool.
zhaofengli/colmena
A simple, stateless NixOS deployment tool
rockowitz/ddcutil
Control monitor settings using DDC/CI and USB
tailscale/tailscale
The easiest, most secure way to use WireGuard and 2FA.
firecracker-microvm/firecracker
Secure and fast microVMs for serverless computing.
cmuratori/refterm
Reference monospace terminal renderer
nats-io/nats.zig
Zig Client for NATS
VictoriaMetrics/VictoriaMetrics
VictoriaMetrics: fast, cost-effective monitoring solution and time series database
mitchellh/tree-sitter-proto
A tree-sitter grammar for protocol buffer files (proto3).
SerenityOS/serenity
The Serenity Operating System 🐞
rsc/rf
A refactoring tool for Go
emilk/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
rui314/mold
Mold: A Modern Linker 🦠
cuelang/cue
CUE has moved to https://github.com/cue-lang/cue
hexops-graveyard/dockerfile
Dockerfile best-practices for writing production-worthy Docker images.
golang/groupcache
groupcache is a caching and cache-filling library, intended as a replacement for memcached in many cases.
odin-lang/Odin
Odin Programming Language
wolfpld/tracy
Frame profiler