Ninja build file generator for the Linux kernel
☆62Apr 29, 2020Updated 6 years ago
Alternatives and similar repositories for kninja
Users that are interested in kninja are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Minimalistic Ninja generator☆52Jul 21, 2016Updated 10 years ago
- TOPPERS/ASP3 Kernel written in Zig Programming Language☆19Jul 24, 2024Updated 2 years ago
- Multikernel OS for manycore systems☆10Mar 4, 2022Updated 4 years ago
- Arduino library for managing sensor calibrations☆13Oct 17, 2023Updated 2 years ago
- SQLite Precompiled Binary for Android armeabi-v7a (ARM aarch64)☆15Dec 11, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Oct 26, 2022Updated 3 years ago
- ☆22Oct 5, 2022Updated 3 years ago
- ☆10Updated this week
- The world's first browser dedicated to loading websites written in QML!☆13Nov 27, 2015Updated 10 years ago
- Open-source implementation of the Media Transfer Protocol using WebUSB.☆18Mar 7, 2021Updated 5 years ago
- Magisk module providing statically linked sqlite3 binary for ARM aarch64 devices.☆17Jul 3, 2018Updated 8 years ago
- Synced Files Workspace. A p2p collaborative filestructure built on Hypercore's Autobase.☆16Nov 24, 2021Updated 4 years ago
- Repo containing the game for the Minetest Engine.☆14Mar 22, 2016Updated 10 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Jan 11, 2022Updated 4 years ago
- Debugger for HTC phones bootloader (HBOOT).☆20Nov 28, 2013Updated 12 years ago
- An alternative to Wahl-O-Mat☆11May 4, 2019Updated 7 years ago
- Report redundant comments in python code☆10Jun 8, 2021Updated 5 years ago
- Plasma integration for controlling Thunderbolt devices☆16Aug 4, 2026Updated 3 weeks ago
- Blizzard CTF 2017: Sombra True Random Number Generator (STRNG).☆18May 20, 2018Updated 8 years ago
- A proof that Meson is actually Turing-Complete☆25Jan 20, 2020Updated 6 years ago
- The Rust standard library, but in C++☆13Mar 14, 2023Updated 3 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆19Jul 30, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Statusseite für als nächstes anstehende Demonstrationen.☆10Jan 2, 2021Updated 5 years ago
- ☆11Jul 25, 2018Updated 8 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- bfg9000 - build file generator☆83Aug 10, 2026Updated 3 weeks ago
- Custom roster formatter tool for Warhammer 40000 games: https://40001format.xyz☆11Feb 5, 2025Updated last year
- TOPPERSユーザーズフォーラム：ユーザのためのQ&Aおよび情報交換の場☆13Jun 16, 2022Updated 4 years ago
- ☆14Nov 5, 2015Updated 10 years ago
- A user-mode network ("slirp") CNI plugin - container networking for unprivileged users☆18Nov 17, 2018Updated 7 years ago
- npm801☆15Jun 29, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Script and documentation for building reference rootfs☆13Feb 16, 2020Updated 6 years ago
- Automatically add and delete imports in a Haskell module.☆17Feb 19, 2025Updated last year
- ☆12May 17, 2020Updated 6 years ago
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- A collection of dockerfiles☆14May 14, 2026Updated 3 months ago
- ☆18Mar 14, 2017Updated 9 years ago
- Package management application using PackageKit☆15Mar 5, 2025Updated last year