Collection of scripts to analyse the Linux kernel
☆10Aug 25, 2019Updated 6 years ago
Alternatives and similar repositories for linux-kernel-analysis
Users that are interested in linux-kernel-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Apr 1, 2020Updated 6 years ago
- NOTE: This repository is deprecated -- meta-genivi-dev can now be found inside of the genivi-dev-platform.git repository☆11Feb 7, 2018Updated 8 years ago
- THIS REPOSITORY IS ARCHIVED i.e. please fork the project if you wish to develop it further☆36Aug 23, 2021Updated 4 years ago
- "Pure mathematics is, in its way, the poetry of logical ideas." - Albert Einstein☆12Dec 24, 2018Updated 7 years ago
- Latr: Lazy Translation Coherence - ASPLOS'18☆16Nov 15, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Scripts to show tool impact on recent linux kernel development☆12Dec 17, 2018Updated 7 years ago
- adds line numbers to a source string☆10Sep 10, 2020Updated 5 years ago
- Index of Macchina boards for the Arduino IDE Board Manager.☆10May 8, 2019Updated 6 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆19Nov 4, 2024Updated last year
- Source for the "docker" snap in Ubuntu Snappy 16+☆13Apr 28, 2017Updated 8 years ago
- "There is no physical law precluding particles from being organised in ways that perform even more advanced computations than the arrange…☆11Oct 9, 2019Updated 6 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- ☆12Mar 9, 2025Updated last year
- epub2sphinx is a tool to convert epub files to ReST for Sphinx☆11Apr 8, 2023Updated 3 years ago
- 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.
- IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing☆14Dec 16, 2024Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Learn Android Open Source Project repository☆12May 24, 2017Updated 8 years ago
- TelegramBot Handcrafted for Translation of places in OpenStreetMap☆12Mar 25, 2021Updated 5 years ago
- SMI230 sensor android hal☆13Mar 20, 2025Updated last year
- "Calculus was not math. It was a fucking science experiment gone wrong." ― Abbi Glines☆13Dec 5, 2019Updated 6 years ago
- ☆17Aug 25, 2022Updated 3 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆22Apr 1, 2026Updated last week
- ☆19Feb 6, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- "A relativist is an individual who doesn't know the difference between an adjective and an adverb." ― Bill Gaede☆20Dec 3, 2020Updated 5 years ago
- aosp sources without prebuilts☆16Nov 23, 2023Updated 2 years ago
- "If I have seen further it is by standing on the shoulders of Giants." ― Isaac Newton, The Correspondence Of Isaac Newton☆12May 13, 2020Updated 5 years ago
- This is a simple android application to maintain good battery life.☆16Jan 20, 2021Updated 5 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13May 19, 2025Updated 10 months ago
- Provides analyzers that are based on the .NET Compiler Platform.☆17Updated this week
- Deploy your own AOSPXRef☆27Jan 4, 2025Updated last year
- VS Code workspace template for app and image developers☆15Mar 25, 2026Updated 2 weeks ago
- IoT identity service☆18Oct 4, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆27Nov 30, 2024Updated last year
- github-runner-operator - charm repository.☆18Apr 1, 2026Updated last week
- Repository for the communication module LoLa☆41Apr 2, 2026Updated last week
- ☆13May 17, 2016Updated 9 years ago
- A graph based image processing and generation tool.☆14Nov 18, 2025Updated 4 months ago
- Steps to build the Linux kernel using Clang☆103Feb 8, 2022Updated 4 years ago
- OCaml hacking ideas, small and large.☆20Apr 9, 2024Updated 2 years ago