okcontract

Solidity Spec is an executable formal model of Solidity in Lean

A Solidity compiler written in Zig. Reduces compilation time 10 to 50x and still targets byte-for-byte compatibility with solc

Execute only what has been approved

The Chainwall CLI available in preview for Arbitrum. Skills are available for coding agents to help you to set up your Chainwall instance, smart accounts, create users, policies, onchain catalog, and timelocks.

lambdascript is a small reactive functional scripting language implemented in TypeScript

browser app for generating raw keys, BIP-39 seed phrases, and Bitcoin or Ethereum private keys from a hybrid entropy source

State management library for the web based on simplified reactive functional programming

a small directed graph library

ABI2UI: A sample web application that displays graphically the ABI for a given contract, autogenerates the UI and allows to interact or read from all methods.