☆12May 26, 2025Updated 9 months ago
Alternatives and similar repositories for rel4_kernel
Users that are interested in rel4_kernel are comparing it to the libraries listed below
Sorting:
- A white box algorithm that generate adversarial examples according to the gradient☆11May 9, 2020Updated 5 years ago
- HP 800 G1 DM's best OC☆10Apr 12, 2022Updated 3 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆12Nov 8, 2025Updated 3 months ago
- work in progress, playing around with btor2 in rust☆12Feb 24, 2026Updated last week
- PhipsBoot is a relocatable x86_64 bootloader for legacy boot written in Rust and assembly.☆14Mar 2, 2025Updated last year
- Modern OS written in the rust programming language☆14Jun 25, 2025Updated 8 months ago
- Translate text to bash command in terminal and execute. 🚀☆11Jul 20, 2023Updated 2 years ago
- RFC 2047 MIME Message Header decoder Rust library.☆12Feb 6, 2026Updated last month
- Publish article anywhere.☆12Aug 14, 2024Updated last year
- Link to page of PDF in Markdown, with Neovim and Zathura.☆13Nov 11, 2024Updated last year
- ☆14Nov 11, 2024Updated last year
- How to install docker plugin offline (without Internet access)☆12Oct 3, 2019Updated 6 years ago
- jxwaf-mini server☆11Mar 28, 2025Updated 11 months ago
- A formatter extension for VSCode supporting the MIPS assembly language.☆12May 12, 2025Updated 9 months ago
- Hackintosh that runs every macOS versions from Tiger (10.4) to Sequoia (15)☆15Oct 12, 2024Updated last year
- Haskell support☆14Feb 25, 2026Updated last week
- 前端面试题解析☆11Sep 25, 2022Updated 3 years ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated last year
- modern BASIC programming language☆12Feb 20, 2023Updated 3 years ago
- 考研笔记 (不止数学一)☆17Dec 18, 2024Updated last year
- ☆11Apr 23, 2020Updated 5 years ago
- Semihosting for AArch64, ARM, RISC-V, LoongArch, MIPS, and Xtensa.☆21Updated this week
- AgentProg: Empowering Long-Horizon GUI Agents with Program-Guided Context Management☆24Dec 31, 2025Updated 2 months ago
- Material You plugin and component library for Vite and Vue 3☆10Oct 20, 2023Updated 2 years ago
- A ngram indexing implement in Go☆12Oct 13, 2022Updated 3 years ago
- Rust开发的Galgame引擎，正在绝赞开发中（☆31Feb 9, 2026Updated 3 weeks ago
- ☆13Aug 29, 2019Updated 6 years ago
- 重新分类 Leetcode 高频题☆11Jul 11, 2021Updated 4 years ago
- Java JSR 330 dependency injection library☆13Feb 3, 2026Updated last month
- Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.☆17Feb 9, 2026Updated 3 weeks ago
- Code to check if there is a new version on the App Store.☆19Dec 4, 2025Updated 3 months ago
- ☆12Oct 21, 2019Updated 6 years ago
- 算子库（Rust）☆14Jul 24, 2025Updated 7 months ago
- 十分钟魔法练习 TypeScript 版☆14Dec 6, 2022Updated 3 years ago
- ☆11Nov 14, 2018Updated 7 years ago
- 《Crafting Interpreters》 中文翻译☆16Jan 6, 2024Updated 2 years ago
- 2022 年毕昇杯 萝杨空队 参赛项目☆16Oct 7, 2023Updated 2 years ago
- Synchronize git repositories like a mirror.☆14May 12, 2022Updated 3 years ago
- New adventure of agriculture.☆11Aug 29, 2024Updated last year