Pinned Loading

1. Self-hosted orchestrator for AI autonomous agents. Run Claude Code & Open Code in isolated linux workspaces. Manage your skills, configs and encrypted secrets with a git repo.

   Rust 364 39

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

   Lean 49 4

3. 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 704 406

4. 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.4k 113

5. 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 138 15

6. The StarkNet Eykar smartcontract written in cairo. A decentralized game of conquest powered by blockchain. An almost infinite territory that can be conquered through alliances and wars.

   Cairo 105 37