Repos
117
Stars
68
Forks
9
Top Language
Rust
Loading contributions...
Top Repositories
An attempt at re-writing the SimpleFOC library in rust.
Tetanus is what you get when you get scratched by a rusty nail. This is a rust OS from scratch
Compile time evaluation crate.
Encapsulate core properties to read useful information from clocks, ab-encoders, etc.
A slightly opinionated RIIR of the nixos-rebuild cli tool.
Repositories
117An attempt at re-writing the SimpleFOC library in rust.
NixOS configuration repo
Technical specifications for the libp2p networking stack
A monorepo of reusable crates for zero-knowledge technologies.
Tetanus is what you get when you get scratched by a rusty nail. This is a rust OS from scratch
Nix Packages collection & NixOS
No description provided.
a toy noise implementation, for learning and ~~profit~~, well, for learning, at least
A nix-shell for developing with Rust on Xtensa+RISCV ESP32 targets (now with flakes!)
No description provided.
High-performance asynchronous computation framework for system simulation
Compile time evaluation crate.
Rust keyboard firmware library with layers, macros, real-time keymap editing, wireless(BLE) and split support
type-eval version of fugit
`fugit` provides a comprehensive library of `Duration` and `Instant` for the handling of time in embedded systems, doing all it can at compile time.
Encapsulate core properties to read useful information from clocks, ab-encoders, etc.
Empowering everyone to build reliable and efficient seL4 software.
Parse the nix-uri scheme
Personal blog.
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Rust parser combinator framework
Tool to vet (check) Nixpkgs, including its pkgs/by-name directory
A slightly opinionated RIIR of the nixos-rebuild cli tool.
No description provided.
DORA (Dataflow-Oriented Robotic Architecture) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dataflow capabilities. Applications are modeled as directed graphs, also referred to as pipelines.
Dataflow-Oriented Robotic Application is middleware that streamlines and simplifies the creation of AI-based robotic applications.
An unofficial Ubuntu-based container building and running PX4 SITL (Software In The Loop) through gazebo.
Rust crates for the MAVLink lightweight messaging protocol for communicating with drones (and between onboard drone components).
A 3dprinter/cnc firmware framework powered by rust embassy
A staging ground for developing portable interfaces for counters in rust-embeded