Starred repositories
Code for the paper "Defeating Prompt Injections by Design"
An open-source C++ library developed and used at Facebook.
The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture
A modern editor with a backend written in Rust.
HexPatch: a binary patcher and editor written in Rust with terminal user interface (TUI).
Ralph is an autonomous AI agent loop that runs repeatedly until all PRD items are complete.
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTSP, SCP,…
Autospec is an open-source AI agent that takes a web app URL and autonomously QAs it, and saves its passing specs as E2E test code
SymQEMU: Compilation-based symbolic execution for binaries
DSPy: The framework for programming—not prompting—language models
Stanford NLP Python library for Representation Finetuning (ReFT)
Stanford NLP Python library for understanding and improving PyTorch models via interventions
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
Python implementation of secp256k1 elliptic curve cryptography and ECDSA signing/verification.
RetDec is a retargetable machine-code decompiler based on LLVM.
Javascript grammar for tree-sitter
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
Lean 4 programming language and theorem prover