An interpreter for Rust's mid-level intermediate representation

A WASI shim for in the browser

The Z3 Theorem Prover

A curated list of awesome projects and resources relating to the Internet Computer Protocol

Bitcoin Ordinals API

Stream Collections for Go. Inspired in Java 8 Streams and .NET Linq

Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.

EIP2771-compatible ethereum transaction relayer

Spacebar server - A reimplementation of the Discord.com backend, built with Typescript and love