Pinned Loading

1. least-squares-electric-voting least-squares-electric-voting Public

   (Possibly novel) electoral system that orders candidates by assigning each one a potential in such a way that it minimizes the sum of squares of differences of each voter’s intent.

   Haskell

2. refcounted-var-sized-class refcounted-var-sized-class Public

   Type-safe, reference-counted pointers to variable-sized classes

   C++

3. lockfree-userspace-rcu lockfree-userspace-rcu Public

   Lock-free RCU (Read-Copy-Update) user-space library

   C++ 14

4. zeroconf-p2p-vpn zeroconf-p2p-vpn Public

   VPN implemented in Rust with automatic peer discovery (DHT) and NAT traversal

   Rust

5. esp32s3-prometheus-exporter esp32s3-prometheus-exporter Public

   Prometheus exporter for ESP32-S3: polls USB (CDC-ACM) and I²C devices, parses them via per-channel Lua scripts, and serves /metrics over Ethernet. Built for Waveshare ESP32-S3-ETH, portable to any …

   C

6. llm-math-prover llm-math-prover Public

   LLM agent wired via tool-calling to a real Isabelle/HOL formal proof checker — success means the kernel verified it. Config-driven Docker/Podman stack: Open WebUI, LiteLLM gateway (Claude/GPT/Gemin…

   Python