Visual Studio IDE for writing F# programs
Cross-end cross-frame solution that supports the use of frameworks
Inotify-tools is a C library and a set of command-line programs
Your next YouTube media manager
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Lean 4 programming language and theorem prover
TLC is an explicit state model checker for specifications in TLA+
LibVNCServer/LibVNCClient are cross-platform C libraries
A cross-platform (C99/C++11) process library
Metaprogramming library to analyze and transform Java source code
A Python library for quantum programming using Quil
Python programs, usually short, of considerable difficulty
Some scripts for RustDesk Server Pro are hosted here
Capturing SSL/TLS plaintext without a CA certificate using eBPF
A cross-platform framework using Vue.js
MiniJinja is a powerful but minimal dependency template engine
Plugin repository for xbar (the BitBar reboot)
Starlark in Go: the Starlark configuration language, implemented in Go
Rust SSH client & server library
The eBPF tool and systems inspection framework for Kubernetes
Rust tools, libraries
Drogon: A C++14/17/20 based HTTP web application framework
A flight-compliant WebAssembly interpreter
Collection of various C++ code samples, utilities, patterns
This an implementation of Jsonnet in pure Go