Popular repositories Loading

1. a3-python a3-python Public

   Python 7

2. deppy deppy Public

   Dependent Types for Python

   Python 2 1

3. halley-labs halley-labs Public

   1

4. flowwarden flowwarden Public

   Information-flow control for LLM-agent toolchains: labels, marker sidechannel, .fw policy DSL, signed attestations.

   Python 1 1

5. lean4-skills-upgraded lean4-skills-upgraded Public

   Upgraded fork of cameronfreer/lean4-skills@lean4 — formal verification done-gate, evals, software-FV lane, tournament+resume, metrics

   Python 1

6. assisted-novel-forge assisted-novel-forge Public

   Remix of 10 middling creative-writing skills: assisted/autonomous novel pipeline with handoff-pack + verify-gate

   JavaScript 1