Popular repositories Loading

1. cmax-arena cmax-arena Public

   Circus Maximus Arena Framework - An open-source adversarial arena framework for AI agents.

   TypeScript 2

2. flashprove flashprove Public

   Forked from anthropics/FlashProve

   Research on zero-knowledge proofs of LLM inference, building on FlashProve.

   Lean 2

3. shadow shadow Public

4. openzeppelin-contracts openzeppelin-contracts Public

   Forked from OpenZeppelin/openzeppelin-contracts

   OpenZeppelin Contracts is a library for secure smart contract development.

   JavaScript

5. hyperscape hyperscape Public

   Forked from PlayHyperia/hyperforge

   MMORPG in development. Powered by ElizaOS

   C++

6. ArkLib ArkLib Public

   Forked from lalalune/ArkLib

   Formally Verified Arguments of Knowledge in Lean

   Lean