Pinned Loading

1. formal-land/coq-of-rust formal-land/coq-of-rust Public

   Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

   Coq 443 17

2. severum-xyz/severum-backend severum-xyz/severum-backend Public

   A Rust-based backend that powers the Severum platform. It manages challenges, fetches them from private repositories, and integrates with the Severum Sandbox to execute smart contract tests. Severu…

   Rust

3. severum-xyz/severum-frontend severum-xyz/severum-frontend Public

   A modern frontend built with React, leveraging Monaco Editor to provide an interactive and developer-friendly experience for the Severum platform. The Severum Frontend integrates seamlessly with Se…

   CSS 1

4. severum-xyz/severum-sandbox severum-xyz/severum-sandbox Public

   A lightweight, secure, Docker-based sandbox designed to test and simulate Solidity smart contract exploits. Pre-installed with Foundry for contract compilation, deployment, and testing, it serves a…

   Dockerfile