Lists (2)
Stars
Transform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.
Zipline, a Pythonic Algorithmic Trading Library
Circuits and hardware security modules formally verified with Knox 🔐
HACL*, a formally verified cryptographic library written in F*
An open source, self-hosted implementation of the Tailscale control server
A simple, fast and versatile Datalog database
Lock, Stock, and Two Smoking MicroVMs. Create and manage the lifecycle of MicroVMs backed by containerd.
The native Clojure dialect hosted on LLVM with seamless C++ interop.
A collection of projects and resources in the age file encryption ecosystem.
AeroSpace is an i3-like tiling window manager for macOS
LLM plugin for pulling content from Hacker News
A suite of tools to automate software compliance checks.
🔍 ScanCode detects licenses, copyrights, dependencies by "scanning code" ... to discover and inventory open source and third-party packages used in your code. Sponsored by NLnet, the Google Summer …
FULL Augment Code, Claude Code, Cluely, CodeBuddy, Comet, Cursor, Devin AI, Junie, Kiro, Leap.new, Lovable, Manus, NotionAI, Orchids.app, Perplexity, Poke, Qoder, Replit, Same.dev, Trae, Traycer AI…
flow-pilot is an openpilot based driver assistance system that runs on linux, windows and android powered machines.
Self-Driving enhancements for Tesla and Bosch-Honda vehicles
A curated list of SBOM (Software Bill Of Materials) related tools, frameworks, blogs, podcasts, and articles
Notes and research I have on immediate mode user interfaces
Reinforcement Learning for real-time applications
Simple, efficient background processing for Ruby
Select, put and delete data from JSON, TOML, YAML, XML, INI, HCL and CSV files with a single tool. Also available as a go mod.
jq, but with many interoperable configuration format transcodings and interactive querying.