Pinned Repositories
wasefire
Secure firmware framework focusing on developer experience
advent-of-code
Solutions for the Advent of Code
data-encoding
Efficient and customizable data-encoding functions in Rust
fcc
Coq formalization of System Fcc (coercion framework)
GhcKindsExamples
Examples and tests for ghc-kinds branch of GHC
lafont
Animation of Yves Lafont's Interaction Combinators
number-encoding
Combinatorial and factorial number systems
onekibu
USB keyboard firmware for devices with a single button
unsafe-mental-model
Mental model for unsafe in Rust
ia0's Repositories
ia0/data-encoding
Efficient and customizable data-encoding functions in Rust
ia0/unsafe-mental-model
Mental model for unsafe in Rust
ia0/fcc
Coq formalization of System Fcc (coercion framework)
ia0/advent-of-code
Solutions for the Advent of Code
ia0/ffactor
Factored files management tool
ia0/KDFs
Collection of Key Derivation Functions written in pure Rust
ia0/awry
Are we RTOS yet? A simple reckoning of Rust’s readiness for RTOS-related things.
ia0/bytemuck
A crate for mucking around with piles of bytes
ia0/bytes
Utilities for working with bytes
ia0/cargo_metadata
ia0/const-default.rs
ia0/defmt
Efficient, deferred formatting for logging on embedded systems
ia0/icu4x
Solving i18n for client-side and resource-constrained environments.
ia0/iris-lecture-notes
ia0/magika
Detect file content types with deep learning
ia0/nrf-usbd
Driver for the USBD peripheral in nRF microcontrollers
ia0/onnxruntime-rs
Rust wrapper for Microsoft's ONNX Runtime (version 1.8)
ia0/opentitan
OpenTitan: Open source silicon root of trust
ia0/ort
A Rust wrapper for ONNX Runtime
ia0/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
ia0/postcard
A no_std + serde compatible message library for Rust
ia0/probe-rs
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
ia0/riscv
Low level access to RISC-V processors
ia0/rust-formal-methods.github.io
ia0/schemastore
A collection of JSON schema files including full API
ia0/serde
Serialization framework for Rust
ia0/taplo
A TOML toolkit written in Rust
ia0/this-week-in-rust
Data for this-week-in-rust.org
ia0/usbip-device
Implementation of the UsbBus trait of usb-device, which simulates a Bus as a USBIP Server. Useful for developing UsbClass traits and simulating devices.
ia0/wasefire
Secure firmware framework focusing on developer experience