matzipan
Follow
Lists (2)
Stars
A formal verification tool for digital systems, especially machine-code systems
uProtocol Language Specific Library for Rust
Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
🔥 Disintegrate your windows with style.
odxtools is a collection of utilities to interact with the diagnostic functionality of automotive electronic control units using python
Context layer on top of your unstructured universe
A power optimisation framework for Linux Mobile devices
ReportGenerator converts coverage reports generated by coverlet, OpenCover, dotCover, Visual Studio, NCover, Cobertura, JaCoCo, Clover, gcov or lcov into human readable reports in various formats.
GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.
Convert binary data (unsigned char*) into a hexidecimal string
FDH2 / UxPlay
Forked from antimof/UxPlayAirPlay Unix mirroring server
Payment tracking and money splitting for groups 💸
"Automatic Language-Agnostic Subtitle Synchronization"
[prototype] – Public transport routing across Europe.
List of JavaScript modules for Berlin & Brandenburg public transport.
All direct long-distance railway connections for cities in and beyond central Europe.
The definitive testing tool for Python. Born under the banner of Behavior Driven Development (BDD).
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.