Pinned Loading

1. language-runtime-gc-vm language-runtime-gc-vm Public

   A statically typed language on verified bytecode with a precise moving, two-generation GC

   C++

2. vectorized-sql-engine vectorized-sql-engine Public

   A SQL engine that moves typed column batches through vector operators and chooses physical plans by estimated cost

   C++

3. leetcode leetcode Public

   Python

4. agentops-gate agentops-gate Public

   Policy and approval service for AI tool calls — Java 21, Spring Boot 4, PostgreSQL, AWS (ECS Fargate, RDS, SQS, S3), CDK; exactly-once plumbing proven under deterministic simulation and live chaos

   Java

5. teller teller Public

   Simulated payments core with a policy gate — double-entry ledger, four-eyes approvals over SQS, reconciliation; correctness proven under fault-injecting simulation; Java 21, Spring Boot 4, PostgreS…

   Java

6. capstan capstan Public

   Capstan: a durable execution engine for agent work

   Go