experimental solidity compiler

Emerging smart contract language for the Ethereum blockchain.

`matchcov` is a Rust library that decouples pattern-match coverage analysis from language implementations.

Empowering everyone to build reliable and efficient software.

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

cameleon is a safe, fast, and flexible library for GenICam compatible cameras

An extremely fast Python linter and code formatter, written in Rust.

Lean 4 programming language and theorem prover

Ethereum Virtual Machine written in rust that is fast and simple to use

a model of MIR and the Rust type/trait system

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

Rust bindings for the Solidity compiler.

A bunch of lints to catch common mistakes and improve your Rust code

Fetch location and size of physical screens.

Standalone JIT-style runtime for WebAssembly, using Cranelift

Parity's ink! to write smart contracts

Substrate: The platform for blockchain innovators

An experimental Rust compiler front-end for IDEs

🌈 Friendly Image Acquisition Library for Computer Vision People

Parser for Rust source code

Automatically generates Rust FFI bindings to C (and some C++) libraries.