Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

A robust and efficient TinyML inference engine.

A test harness and runner for embedded devices

C/C++ package manager and build system, inspired by Cargo

In love with Atalanta

🌱💧 An open source DIY soil moisture sensor

Lightweight command line tool to quickly navigate across folders.

Modern CSS framework based on Flexbox

Rust HAL, PACs, and examples for the Microship SAM E70/S70/V70/V71

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers