A universal soundness calculator across hash-based zkEVMs and security regimes

experimental solidity compiler

A FORmal semantics for Yul in Coq

Minimal Documentation Framework, powered by React + Vite.

Reference implementation of the Cartesi Rollups Node

The off-chain implementation of the Cartesi Machine

Cartesi Rollups Explorer Web Application

🪲 Bug Buster, a bug bounty platform powered by Cartesi Rollups

Cartesi CLI tool

TypeScript Interface for Ethereum

Wagmi CLI plugin for hardhat-deploy

Development Node for Cartesi Rolups

Remove spam from Ubuntu

Download sheet music

Smart Contracts for Cartesi Rollups

Cartesi's permissionless fraud-proof system.

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Formalization of the Elo language in Coq alongside a proof that the language is free from data races.

A collection of helpful contracts and libraries for use with Forge and Foundry

The Vampire Theorem Prover

The Conventional Commits toolbox

Ballaum (aka Bolão)

Programming Language Foundations in Lean

fzf ❤️ vim

🌸 A command-line fuzzy finder

Typescript syntax files for Vim

Vim python-mode. PyLint, Rope, Pydoc, breakpoints from box.

Retro groove color scheme for Vim