Explore projects

🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents. https://oasis.camel-ai.org

GNSS-SDR, an open-source software-defined GNSS receiver

🏝️ OASIS: Open Agent Social Interaction Simulations with One Million Agents. https://oasis.camel-ai.org

Test suites for Web platform specs — including WHATWG, W3C, and others

Main source code repository of the Tamarin prover for security protocol verification.

An easy-to-use Python framework to generate adversarial jailbreak prompts.