y-nak Goto Github PK

a-mir-formality

a model of MIR and the Rust type/trait system

async-std

Async version of the Rust standard library

cameleon

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

chalk

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

clippy-6902-repro

cranelift

Cranelift code generator

dir-test

dot2.rs

falcon

Formal Binary Analysis Framework in Rust

fe

Emerging smart contract language for the Ethereum blockchain.

harvesters

🌈 Friendly Image Acquisition Library for Computer Vision People

homebrew-boost

ink

Parity's ink! to write smart contracts

lean4

Lean 4 programming language and theorem prover

libusb-rs

A safe Rust wrapper for libusb.

libusb-sys

Rust bindings for the libusb library.

llvm-mctoll

llvm-mctoll

menoh-rs

A Rust wrapper of Menoh

ndarray

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

revm

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

riscv

Low level access to RISC-V processors

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

An experimental Rust compiler front-end for IDEs

rust-bindgen

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

rust-clippy

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

salsa

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

screeninfo

Fetch location and size of physical screens.

servo

The Servo Browser Engine

simplejit-demo

JIT compiler and runtime for a toy language, using Cranelift

solc-rust

Rust bindings for the Solidity compiler.