Popular repositories Loading

1. rusty rusty Public

   A Lisp in Rust for verifiable, deterministic AI systems — effect-honesty and exhaustive checking as language primitives, zero external runtime deps. The engine behind wuwei (gated agents), shouzhon…

   Rust 5 1

2. wuwei wuwei Public

   Provably-gated agent runner for the Rusty Lisp — LLM agents that don't act until the act is proven safe (無為).

   NewLisp 3 1

3. shouzhong shouzhong Public

   守中 Provably-safe control loops on Rusty Lisp: controllers proven safe over every state (gusts included), actuators contract-gated, LLM planners that can never leave the fence

   NewLisp 2 1

4. mingjian mingjian Public

   明鑒 Replay-verified audit for deterministic plants & gated agents, on Rusty Lisp: the log doesn't ask to be trusted — replay it, and any edit diverges at a named tick

   NewLisp 2 1

5. loop loop Public

   A memory vessel for the living — guided life interviews with a grounded LLM portrait and an honest witness. Built on Rusty.

   NewLisp 2 1

6. Panel_Framework_Replicator Panel_Framework_Replicator Public

   A panelframe work

   TypeScript 1