An OCI runtime using FreeBSD jail

Zipline, a Pythonic Algorithmic Trading Library

Circuits and hardware security modules formally verified with Knox 🔐

bpftune uses BPF to auto-tune Linux systems

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

LD_AUDIT feature frontend for glibc 2.4+

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

Yacine's LLM nvim scripts

An unofficial NixOS fork with a FreeBSD kernel

Frame profiler

A categorized list of C++ resources.

Reinforcement Learning for real-time applications - host of the TrackMania Roborace League

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.

Docmost is an open-source collaborative wiki and documentation software. It is an open-source alternative to Confluence and Notion.

The financial transactions database designed for mission critical safety and performance.