Explore projects

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

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

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

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

Python extension of ZKBoo framework.

C++ wrapper for Relic library, which is written in C.

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