Pinned Repositories
cameleon
A safe, fast, and flexible library for GenICam compatible cameras
fe
Emerging smart contract language for the Ethereum blockchain.
sonatina
a-mir-formality
a model of MIR and the Rust type/trait system
async-std
Async version of the Rust standard library
fe
Emerging smart contract language for the Ethereum blockchain.
menoh-rs
A Rust wrapper of Menoh
revm
Ethereum Virtual Machine written in rust that is fast and simple to use
solc-rust
Rust bindings for the Solidity compiler.
tiger-cranelift
Tiger language implementation using cranelift
Y-Nak's Repositories
Y-Nak/solc-rust
Rust bindings for the Solidity compiler.
Y-Nak/fe
Emerging smart contract language for the Ethereum blockchain.
Y-Nak/revm
Ethereum Virtual Machine written in rust that is fast and simple to use
Y-Nak/a-mir-formality
a model of MIR and the Rust type/trait system
Y-Nak/async-std
Async version of the Rust standard library
Y-Nak/cameleon
cameleon is a safe, fast, and flexible library for GenICam compatible cameras
Y-Nak/chalk
A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
Y-Nak/clippy-6902-repro
Y-Nak/dir-test
Y-Nak/dot2.rs
Y-Nak/harvesters
🌈 Friendly Image Acquisition Library for Computer Vision People
Y-Nak/homebrew-boost
Y-Nak/ink
Parity's ink! to write smart contracts
Y-Nak/lean4
Lean 4 programming language and theorem prover
Y-Nak/riscv
Low level access to RISC-V processors
Y-Nak/ruff
An extremely fast Python linter and code formatter, written in Rust.
Y-Nak/rust
Empowering everyone to build reliable and efficient software.
Y-Nak/rust-analyzer
An experimental Rust compiler front-end for IDEs
Y-Nak/rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
Y-Nak/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
Y-Nak/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Y-Nak/screeninfo
Fetch location and size of physical screens.
Y-Nak/solcore
experimental solidity compiler
Y-Nak/sonatina
Y-Nak/substrate
Substrate: The platform for blockchain innovators
Y-Nak/syn
Parser for Rust source code
Y-Nak/talks
Y-Nak/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Y-Nak/write-your-own-pass
Y-Nak/yul-sonatina