OpenZeppelin Contracts is a library for secure smart contract development.

Solidity, the Smart Contract Programming Language

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html

Quickstart configs for Nvim LSP

Vim-fork focused on extensibility and usability

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