Popular repositories Loading

1. 5G-AKMA 5G-AKMA Public

   A formal analysis about security and privacy with respect to 5G AKMA service.

2. seL4-Interrupt seL4-Interrupt Public

   Multi-layer formal verification of seL4 interrupt handling subsystem

   Isabelle

3. claude-code claude-code Public

   Forked from ultraworkers/claw-code

   Claude Code Snapshot for Research. All original source code is the property of Anthropic.

   Rust

4. isabelle-extensions isabelle-extensions Public

   Isabelle extensions

   Python

5. iris-lean iris-lean Public

   Forked from leanprover-community/iris-lean

   Lean 4 port of Iris, a higher-order concurrent separation logic framework

   Lean

6. pi pi Public

   Forked from earendil-works/pi

   AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

   TypeScript