Pinned Loading

1. sandboxed.sh sandboxed.sh Public

   Safe runtime for autonomous on-chain AI agents: isolated sandboxes, Library skills, encrypted secrets, and OKX read-only security checks.

   Rust 459 49

2. open-ralph-wiggum open-ralph-wiggum Public

   Type `ralph "prompt"` to start open code in a ralph loop. Also supports a prompt file & status check. Open Code, Claude Code, Codex, Copilot

   TypeScript 1.8k 142

3. lfglabs-dev/verity lfglabs-dev/verity Public

   Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

   Lean 128 17

4. open_oura open_oura Public

   A Rust toolkit for the Oura Ring (Gen 3/4/5): reverse-engineered BLE protocol, event decoders, and reimplemented data-processing algorithms. Sync, store, and analyze your data locally.

   Rust 365 52

5. horus-nix-home horus-nix-home Public

   This is my laptop nixos user environment provided by https://github.com/rycee/home-manager. It includes full i3, polybar and personnal apps configuration, all in nix.

   Nix 140 15

6. oraxen/oraxen oraxen/oraxen Public

   Oraxen is a minecraft plugin that allows to easily use Minecraft 1.14 features in order to create new items with custom textures. It handles the resourcepack generation, upload (using Polymath) and...

   Java 722 425