Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification.
☆17May 13, 2026Updated 2 months ago
Alternatives and similar repositories for wg-lfscs
Users that are interested in wg-lfscs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ELISA Automotive Working Group☆18Jun 25, 2026Updated 3 weeks ago
- Simulated AUTOSAR OS runtime for Linux and Windows☆16Jul 12, 2022Updated 4 years ago
- Read only mirror for Hafnium☆26Updated this week
- Making me more antisocial and weird.☆10Oct 6, 2020Updated 5 years ago
- SQL query interface to C++ collections and C data structures. Also configurable as a loadable Linux kernel module and an extension to Val…☆15Jul 15, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An NVIDIA CLI tool written in native Rust. 🦀☆13Sep 25, 2024Updated last year
- Generate minimal and customized core dump files on Linux.☆56May 20, 2026Updated 2 months ago
- SD card bootloader for Ultimaker2☆13Mar 29, 2015Updated 11 years ago
- Jenkins WebInspect Plugin Publisher provides the ability to upload a WebInspect scan file, from your Jenkins server to your Fortify Softw…☆11Dec 23, 2025Updated 7 months ago
- ☆17Aug 28, 2022Updated 3 years ago
- Scripts and configs to easily generate an OpenStack demo setup☆11Feb 18, 2021Updated 5 years ago
- Autocomplete for nash shell (in nash script)☆11Nov 10, 2020Updated 5 years ago
- Source Code for 'Linux Containers and Virtualization' by Shashank Mohan Jain☆16Oct 16, 2020Updated 5 years ago
- hardening-check from debian checks binarys for Pie (Position Independent Executeable), Stack protection, fortify source and immediate bin…☆12Sep 12, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆16Jun 1, 2026Updated last month
- Not exactly tabs, not exactly bookmarks☆20May 31, 2016Updated 10 years ago
- ☆53Jun 18, 2026Updated last month
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 11 years ago
- Random test code☆20Jun 26, 2025Updated last year
- Framework for studying cryptographic hash functions using SAT.☆10Dec 21, 2021Updated 4 years ago
- OverC + cubes distribution layer☆16Mar 25, 2022Updated 4 years ago
- Single-wire CAN library powered by https://github.com/macchina/mcp2515☆13Feb 5, 2019Updated 7 years ago
- Embedded Rust Projects☆13Jun 12, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- LSM BPF module to block pwnkit (CVE-2021-4034) like exploits☆21Feb 17, 2022Updated 4 years ago
- Hardware performance counter tool for Windows OS☆18Sep 4, 2018Updated 7 years ago
- Code examples for "Under the hood of calling C/C++ from Python"☆13Sep 16, 2020Updated 5 years ago
- canbus receive and send program based on can-utils☆16Mar 14, 2018Updated 8 years ago
- Experimental tree to support Intel PT with linux perf☆20Feb 15, 2016Updated 10 years ago
- Simple command line to get directory information☆14May 27, 2025Updated last year
- Isabelle/HOL sources for the book "Functional Programming and Proof"☆18Oct 1, 2021Updated 4 years ago
- High-performance, in-kernel key-value store☆19Dec 15, 2025Updated 7 months ago
- ☆15Jan 25, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- DSP framework, DSP wrapper and Unit tests for HiFi4 on i.MX platforms☆20Jun 18, 2026Updated last month
- "Deep Packet Inspection as a Service" (CoNEXT '14)☆16Mar 30, 2017Updated 9 years ago
- This is just some simple code (very basic) for messing about with eBPF☆12Jan 10, 2026Updated 6 months ago
- RK0 | The Real-Time Kernel '0'☆14Updated this week
- AVR based implementation of AUTOSAR OS☆11Nov 28, 2020Updated 5 years ago
- a tool that collects and reports heap allocated memory☆13Oct 5, 2025Updated 9 months ago
- common kernel-4.19, main platform: mt6779☆19Jul 14, 2020Updated 6 years ago