- All languages
- Agda
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Dockerfile
- Elixir
- Elm
- F#
- Go
- HTML
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Markdown
- Nunjucks
- OCaml
- Objective-C
- PLpgSQL
- PostScript
- PowerShell
- Prolog
- Python
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- Vue
- XSLT
- YARA
- Zeek
- Zig
Starred repositories
A motivational interviewing skill for AI agents. Helps work through ambivalence, stuckness, and decisions.
Sandboxed devcontainer for running Claude Code in bypass mode safely. Built for security audits and untrusted code review.
KewkLW / heretic
Forked from p-e-w/hereticFully automatic censorship removal for language models
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
Fully automatic censorship removal for language models
Mellea is a library for writing generative programs.
Allow MCP clients like claude-desktop to use rooms to coordinate with other agents
Official implementation and models for OVIE (One View Is Enough! Monocular Training for In-the-Wild Novel View Generation)
Reference code for the Meta-Harness paper.
OpenShell is the safe, private runtime for autonomous AI agents.
Official implementation of the paper 'Exploring Robust Features for Few-Shot Object Detection in Satellite Imagery'
A high-throughput and memory-efficient inference and serving engine for LLMs
Build and query a graph database representation of source code
Property-based testing for web and terminal UIs
Repo for vLLM Hook, an vLLM plug-in for programming internal states of models deployed on vLLM
OBLITERATE THE CHAINS THAT BIND YOU
Why can't an AI agent harness ship systems thinking as a skill?
Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 and aarch64. Tutorial Link 👇