Starred repositories
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
The tiling wallpapers from Silicon Graphics' IRIX in easily accessible PNG form
Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data
Public repository for providing research reproducibility for the paper: "Orphaned Sophistication: Detecting AI-Generated Prose Through Structurally Unsupported Figurative Language"
🚧 Accepting Task Submissions 🚧
Active Learning for Text Classification in Python
A TypeScript implementation of the age file encryption format, available as an npm package or as a bundled .js file.
AI agents and Nix: parametrable skills/instructions and tools, packaged together in a reproducible and modular fashion
A Nix flake-parts module for wrapping programs with a sandboxed environment using landrun (Landlock) on Linux, and sandbox-exec on macOS.
A debugger CLI tool for agents to run and debug binaries
Turso is an in-process SQL database, compatible with SQLite.
A scientific instrument for investigating latent spaces
Intuitive, easy CLIs based on python type hints.
The Fuzzy-Pattern Tsetlin Machine library, with zero external dependencies, performs blazingly fast.
An efficient, reliable parser for CommonMark, a standard dialect of Markdown
CommonMark + GFM compatible Markdown parser and renderer
Copy/paste detector for programming source code.
A security auditor for Tailscale configurations. Scans your tailnet for misconfigurations, overly permissive access controls, and security best practice violations.
Text Layout Requirements for Kanbun Kundoku / 訓点漢文（漢文訓読）組版の要件
portofolio-mager / ai-squad
Forked from smtg-ai/claude-squadManage multiple AI terminal agents like Claude Code, Aider, Codex, OpenCode, and Amp.
Kyutai's Speech-To-Text and Text-To-Speech models based on the Delayed Streams Modeling framework.