☆59Aug 24, 2025Updated last year
Alternatives and similar repositories for linux-kernel
Users that are interested in linux-kernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆45Apr 6, 2020Updated 6 years ago
- NixOS install image for rock64☆22Jun 17, 2020Updated 6 years ago
- Arduino STM32. Hardware files to support STM32 boards, on Arduino IDE 1.6.5 including LeafLabs Maple and other generic STM32F103 boards. …☆10Aug 23, 2021Updated 5 years ago
- A demonstration of how to use byacc and ragel together☆13Jul 2, 2014Updated 12 years ago
- VDPAU backend driver for NVIDIA Tegra 20/30/114 SoCs☆16May 15, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- ☆11May 21, 2020Updated 6 years ago
- VAAPI backend for Tegra☆10Oct 20, 2021Updated 5 years ago
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 8 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆30Jun 8, 2026Updated 4 months ago
- "Das U-Boot" Source Tree with many Tegra 20/30 devices support☆12Oct 3, 2023Updated 3 years ago
- Linux source for Allwinner/Boxchip F20 (sun3i), A10 (sun4i), A12/A13/A10S (sun5i) and A20 (sun7i) SoCs☆13Nov 23, 2025Updated 11 months ago
- Arduino STM32. Hardware files to support STM32 boards, on Arduino IDE 1.6.5 including LeafLabs Maple and other generic STM32F103 boards. …☆13Apr 21, 2018Updated 8 years ago
- A category polymorphic `Functor` typeclass.☆11Jul 27, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆23Jun 26, 2019Updated 7 years ago
- Course for learning how to apply property-based state-machine testing☆62Sep 13, 2019Updated 7 years ago
- Backpropagation neural network in Fortran 90/95☆14Mar 18, 2017Updated 9 years ago
- open-source reimplementation of Cryo's DUNE game☆15Jan 16, 2022Updated 4 years ago
- Reverse engineering notes on the RK3566 EBC controller #pinenote☆18Jan 17, 2022Updated 4 years ago
- Mac OSX and Windows Compatible Text Searcher. Provide keywords, match text☆11Apr 17, 2020Updated 6 years ago
- The Phenomenal Docker Demos☆12Sep 21, 2016Updated 10 years ago
- This is new CedarX library from Allwinner with Chinese documentation and example C application...☆42Jun 12, 2015Updated 11 years ago
- Tweaked MediaTek Router Firmware Based on ASUS☆11Oct 9, 2022Updated 4 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 basic reflex host for backend work☆13Aug 1, 2020Updated 6 years ago
- Chindogu PasswordKeeper☆15May 21, 2018Updated 8 years ago
- A hackage-overlay with patched packages for mobile use.☆17Jan 8, 2019Updated 7 years ago
- Python code to query Schneider Conext Gateway☆14Feb 2, 2024Updated 2 years ago
- Miscellaneous Gentoo ebuilds☆27Mar 23, 2024Updated 2 years ago
- ZuriHac registration system☆24Jun 11, 2026Updated 4 months ago
- Kubernetes cluster build tool☆10Jun 27, 2017Updated 9 years ago
- ☆20Dec 18, 2016Updated 9 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 7 years ago
- ☆10Dec 2, 2025Updated 11 months ago
- Yamaha OPL2/3 FM synth chip emulator for JavaScript☆19Jul 10, 2025Updated last year
- Build a Slack bot that returns a trending Reddit story☆16Sep 3, 2017Updated 9 years ago
- Rust allocator for ESP-IDF☆10Jun 28, 2019Updated 7 years ago
- All related config and files for a demo of the full power of haproxy including https, tls, ssh, and openvpn.☆10Jan 7, 2017Updated 9 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Jan 6, 2021Updated 5 years ago