eagle941 Goto Github PK

a32nx

The A32NX Project is a community driven open source project to create a free Airbus A320neo in Microsoft Flight Simulator that is as close to reality as possible.

apc

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

docs

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

msfs-rs

A Rusty way to interact with Microsoft Flight Simulator 2020

rust-rate-limiter

A simple implementation of a rate limiter in Rust

theorem_proving_in_lean4

Theorem Proving in Lean 4

uom

Units of measurement -- type-safe zero-cost dimensional analysis