Trending archive for Oct 31, 2026

openai/math

OpenAI's model-generated math proofs, with Lean formalizations in progress — A collection of 719 mathematical manuscripts in 372 families produced by an internal OpenAI model tackling open research problems, released as model-development evaluations saturated on existing benchmarks. About 42% of top-line results have Lean formal proofs so far, with reasoning summaries and a comparator tool included for verification.

kevinraymond/florilegium

Procedural Delft-blue flower margins drawn live inside LuaLaTeX PDFs — Florilegium generates Delft-blue floral page margins entirely in Lua at compile time—no images or imported paths, just parametric curves painted like watercolor. It offers both hand-authored compositions and a space-filling 'grown' layout that adapts to leftover page space, giving every document a unique garden.

herdrdev/herdr-app

A desktop terminal manager built around coding agents — Herdr organizes terminal work into spaces, tabs and panes, and surfaces which coding agents are Working, Blocked or Done across all your spaces in one sidebar. Terminals keep running after you close the window, and it pairs with a separate herdr-core component it can install for you. Built in Rust for Linux, macOS and Windows.

jepsen-io/particledb

Jepsen Puts ParticleDB's Transaction Consistency to the Test — A Jepsen test suite for ParticleDB, a Postgres-compatible database from Orkes. It currently focuses on single-node internal transaction consistency checks, useful for engineers evaluating ParticleDB's reliability claims before wider distributed testing is added.

notaroomba/keybytes

A keyboard where every key is its own rearrangeable PCB module — Keybytes is an open-hardware keyboard project where each key, called a Keybit, has its own CH32V003 RISC-V chip and connects via pogo pins on all four sides, letting keys be freely rearranged and held together with magnetic cases. A separate Keyword board handles Bluetooth, USB-C and battery charging. Good read for hardware hackers into KiCad PCB design and modular input devices.

nrslib/takt

YAML-defined workflows that discipline multi-agent coding loops — TAKT is a CLI that encodes planning, implementation, review and fix loops as YAML workflows, assigning each step its own role, context and transition rules rather than relying on one agent to remember everything. It runs tasks in isolated worktrees with traceable logs and human checkpoints, aimed at teams tired of babysitting AI coding agents like Claude Code or Codex.

aquasecurity/trivy

An all-in-one scanner for vulnerabilities, misconfigs, secrets and SBOMs — Trivy scans container images, filesystems, git repos, VM images and Kubernetes clusters for CVEs, IaC misconfigurations, exposed secrets, license issues and SBOM data in one tool. It plugs into GitHub Actions, a Kubernetes operator and a VS Code extension, making it useful for DevSecOps teams wanting a single scanner across their pipeline.

aquasecurity/trivy-action

Trivy Scanning Baked Into Your GitHub Actions Pipeline — This official GitHub Action wraps Trivy to scan container images, filesystems, Git repos, IaC configs, and private registries, and can also generate SBOMs. It integrates directly with GitHub Code Scanning, making it a quick way to add vulnerability checks and fail CI builds on findings without installing Trivy manually.

CVEProject/cvelistV5

The Official CVE List Mirrored Daily in JSON 5 Format — This repo caches the complete official CVE List in CVE JSON 5 format, updated regularly with a deltaLog.json tracking recent record changes. It recently moved to Record Format 5.2.0, adding PackageURL (PURL) support for affected components, making it useful for anyone building vulnerability tooling or tracking CVE data changes over time.

electron/electron

The framework behind VS Code keeps powering desktop apps — Electron combines Node.js and Chromium so developers can ship cross-platform desktop apps using JavaScript, HTML and CSS. It powers VS Code and many other apps, with prebuilt binaries for macOS, Windows and Linux, including Apple Silicon and ARM support.