Lightweight Open BMW Software Traceability Evidence Report
☆38Feb 27, 2026Updated this week
Alternatives and similar repositories for lobster
Users that are interested in lobster are comparing it to the libraries listed below
Sorting:
- A process for Ada/SPARK software to meet ISO 26262☆28Jul 8, 2025Updated 7 months ago
- ☆20Feb 24, 2026Updated last week
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- SQL Server Always Encrypted Key Store Generic Provider for Key Store Interopearibility between Windows and Linux☆11Oct 24, 2018Updated 7 years ago
- Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware archite…☆21Updated this week
- Recovery and Propulsion control and monitoring☆11May 15, 2022Updated 3 years ago
- Infinite Cloud bot source code☆15May 10, 2025Updated 9 months ago
- AEAD encryption using Trusted Platform Module (TPM)☆12Jan 5, 2026Updated last month
- A high-performance, thread-safe channel implementation in C++17, inspired by Go's channels☆16Jul 28, 2024Updated last year
- minimalist sudo alternative: multi-user privilege escalation tool in three letters☆10Jul 5, 2022Updated 3 years ago
- ☆10Oct 19, 2022Updated 3 years ago
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- A development environment for Texas Instruments Tiva C Series microcontrollers using Docker and Visual Studio Code☆11May 14, 2024Updated last year
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- 🍨 A tasteful way to organize your Nix code☆34Nov 24, 2025Updated 3 months ago
- ☆13Jun 10, 2021Updated 4 years ago
- Print out the type encoding for properties in a Swift class☆12May 16, 2015Updated 10 years ago
- CloudedBats.org - main repository☆10Mar 19, 2022Updated 3 years ago
- User friendly magnetic field calculations in python☆10Jan 12, 2026Updated last month
- NVidia binary graphics layer for Yocto Linux☆11Jul 31, 2019Updated 6 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- ☆11Oct 1, 2025Updated 5 months ago
- A small library that will help you plot and visualize numeric data from serial port.☆12Apr 28, 2018Updated 7 years ago
- DSP filter experiments on the STM32F746, CW audio filter☆13Apr 24, 2017Updated 8 years ago
- ☆11Sep 6, 2025Updated 5 months ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Recursive description for UIViewController hierarchy inspection and debugging☆21May 15, 2015Updated 10 years ago
- STM32F10x_DSP_Lib☆10Mar 12, 2015Updated 10 years ago
- ☆11Mar 20, 2017Updated 8 years ago
- ☆10Jun 13, 2017Updated 8 years ago
- Create Draw.io (diagrams.net) drawings, with Python☆14Jul 18, 2023Updated 2 years ago
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last week
- Trusted side of the TEE☆13Feb 6, 2026Updated 3 weeks ago
- Docker images to build C++ projects. Includes cmake, conan, Qt and different compilers.☆11Jan 21, 2023Updated 3 years ago
- Remotely start download tasks from the web to your Synology NAS☆11Aug 31, 2018Updated 7 years ago
- FPE - Format Preserving Encryption with FF3 in C☆14Jan 26, 2026Updated last month
- Paribasa or you can call it as Javanese quotes☆10Jan 6, 2023Updated 3 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- The Codec 2 speech codec, compiled to WASM using Emscripten.☆13Apr 27, 2023Updated 2 years ago