Yoshitomo Nakanishi's repositories
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
falcon
Formal Binary Analysis Framework in Rust
harvesters
🌈 Friendly Image Acquisition Library for Computer Vision People
ink
Parity's ink! to write smart contracts
lean4
Lean 4 programming language and theorem prover
llvm-mctoll
llvm-mctoll
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.
simplejit-demo
JIT compiler and runtime for a toy language, using Cranelift
substrate
Substrate: The platform for blockchain innovators
syn
Parser for Rust source code
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift