Lists (26)
Causality
9 repositories
Chess
6 repositories
CLI
32 repositories
Cool Stuff
72 repositories
Data
4 repositories
Fonts
27 repositories
Game AI
1 repository
Game Dev
107 repositories
Graphics
37 repositories
Hax
4 repositories
LaTex
55 repositories
Memory
20 repositories
ML
42 repositories
oo
25 repositories
PL Design
20 repositories
PL Impl
41 repositories
Proposal Stuff
11 repositories
Roguelikes
1 repository
std library
3 repositories
Tactics
6 repositories
Testing
4 repositories
Text
2 repositories
Types
10 repositories
Verification, Testing and more
295 repositories
Vim
19 repositories
Web Dev
33 repositories
Starred repositories
Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance Without Consumer Code
LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
AI agents running research on single-GPU nanochat training automatically
Skills, MCP servers, Custom Agents, Agents.md for SDKs to ground Coding Agents
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
An agentic skills framework & software development methodology that works.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
L5 is a fun, fast, cross-platform, and lightweight implementation of the Processing API in Lua.
solver for the reachability modulo theories problem
A program analysis and verification framework for LLVM IR
A language for constraint-guided and efficient LLM programming.
LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
Code2Inv: Learning Loop Invariants for Program Verification
This is a public version of LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
Facilitating high-level interactions between Wasm modules and JavaScript
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust