Skip to content
#

safe-rust

Here are 21 public repositories matching this topic...

A semantic, transactional, replayable MCP control plane that lets autonomous AI agents operate Dwarf Fortress as a long-lived civilization. Safe-Rust phase-0B scaffold: MVCC world state, witnessed semantic plans, evidence-backed effects, deterministic replay.

  • Updated Sep 28, 2026
  • Rust
franken_alignment

Evidence-carrying control system for powerful AI agents, featuring epistemic MVCC, authority graphs, progressive ATP evidence, and decision-sensitive introspection in pure safe Rust.

  • Updated Sep 30, 2026
  • Rust

Lattice-Concise Post-Quantum NIZK from-scratch, zero-dependency, non-interactive zero-knowledge (NIZK) proving system based on lattice hardness assumptions. Designed from first principles in safe Rust, optimized for microsecond-level verification, and adversarial-hardened against structural and algebraic edge cases.

  • Updated Sep 30, 2026
  • Rust

Add this topic to your repo

To associate your repository with the safe-rust topic, visit your repo's landing page and select "manage topics."

Learn more