Stars
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Convert FreeRTOS trace-recorder traces to LTTng-shaped CTF
A small embedded systems tracer with support for bare-metal and FreeRTOS-based targets.
litgen: a tool to generate Python bindings for C++ code, for humans.
yq is a portable command-line YAML, JSON, XML, CSV, TOML and properties processor
An AI-Powered Speech Processing Toolkit and Open Source SOTA Pretrained Models, Supporting Speech Enhancement, Separation, and Target Speaker Extraction, etc.
An idiomatic, lean, fast & safe pure Rust implementation of Git
stb single-file public domain libraries for C/C++
dSGP4: differentiable SGP4. Supports differentiability, ML integration & embarassingly parallel computations
Low footprint C/C++ CBOR library and Python tool providing code generation from CDDL descriptions.
SystemRDL 2.0 language compiler front-end
A modern c++ implementation of the msgpack spec. - msgpack.org[C++17]
Simple Binary Encoding (SBE) - High Performance Message Codec
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
Serialization library written in C++17 - Pack C++ structs into a compact byte-array without any macros or boilerplate code
Visual Studio Code extension for enhancing debug capabilities for Cortex-M Microcontrollers
Provides the STM32Cube MCU Component "hal_driver" of the STM32H7 series.
Python module for operating with freeRTOS kernel objects in GDB
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …
Harden-Runner is a CI/CD security agent that works like an EDR for GitHub Actions runners. It monitors network egress, file integrity, and process activity on those runners, detecting threats in re…
A simulator of gravitationally bound systems.