Alternatives and similar repositories for rel4_kernel

Users that are interested in rel4_kernel are comparing it to the libraries listed below

• h3n4l / chatsh

  View on GitHub
  Translate text to bash command in terminal and execute. 🚀
  ☆11Jul 20, 2023Updated 2 years ago
• TornaxO7 / rfc2047-decoder

  View on GitHub
  RFC 2047 MIME Message Header decoder Rust library.
  ☆12Feb 6, 2026Updated last week
• GandelXIV / RezOS

  View on GitHub
  Modern OS written in the rust programming language
  ☆14Jun 25, 2025Updated 7 months ago
• UzkiS / OpenCore-HP-800G1-DM-HD4600

  View on GitHub
  HP 800 G1 DM's best OC
  ☆10Apr 12, 2022Updated 3 years ago
• tomtomjhj / vsrocq.nvim

  View on GitHub
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Nov 8, 2025Updated 3 months ago
• cucapra / patronus

  View on GitHub
  work in progress, playing around with btor2 in rust
  ☆12Feb 6, 2026Updated last week
• Flynn-ML2019 / Adversarial_Examples_Generate

  View on GitHub
  A white box algorithm that generate adversarial examples according to the gradient
  ☆11May 9, 2020Updated 5 years ago
• zed-extensions / haskell

  View on GitHub
  Haskell support
  ☆14Updated this week
• k8scat / Articli

  View on GitHub
  Publish article anywhere.
  ☆12Aug 14, 2024Updated last year
• MobileLLM / AgentProg

  View on GitHub
  AgentProg: Empowering Long-Horizon GUI Agents with Program-Guided Context Management
  ☆22Dec 31, 2025Updated last month
• alrf / docker-plugins-offline

  View on GitHub
  How to install docker plugin offline (without Internet access)
  ☆12Oct 3, 2019Updated 6 years ago
• Yoorkin / evoBasic-lang

  View on GitHub
  modern BASIC programming language
  ☆12Feb 20, 2023Updated 2 years ago
• gergoerdi / retroclash-lib

  View on GitHub
  Library code for upcoming RetroClash book
  ☆10Feb 22, 2025Updated 11 months ago
• AngaBlue / asm-formatter

  View on GitHub
  A formatter extension for VSCode supporting the MIPS assembly language.
  ☆12May 12, 2025Updated 9 months ago
• dusk-phantom / duskphantom

  View on GitHub
  ☆14Nov 11, 2024Updated last year
• 5eqn / nothura.nvim

  View on GitHub
  Link to page of PDF in Markdown, with Neovim and Zathura.
  ☆13Nov 11, 2024Updated last year
• b00t0x / MSI-Z97M-Hackintosh-every-macOS

  View on GitHub
  Hackintosh that runs every macOS versions from Tiger (10.4) to Sequoia (15)
  ☆15Oct 12, 2024Updated last year
• course-dasheng / interview

  View on GitHub
  前端面试题解析
  ☆11Sep 25, 2022Updated 3 years ago
• Origami404 / kaoyan-shuxueyi

  View on GitHub
  考研笔记 (不止数学一)
  ☆17Dec 18, 2024Updated last year
• jx-sec / jxwaf-mini-server

  View on GitHub
  jxwaf-mini server
  ☆11Mar 28, 2025Updated 10 months ago
• SuppieRK / inject

  View on GitHub
  Java JSR 330 dependency injection library
  ☆13Feb 3, 2026Updated last week
• lllyasviel / Leetcode-retag

  View on GitHub
  重新分类 Leetcode 高频题
  ☆11Jul 11, 2021Updated 4 years ago
• taiki-e / semihosting

  View on GitHub
  Semihosting for AArch64, ARM, RISC-V, LoongArch, MIPS, and Xtensa.
  ☆20Feb 3, 2026Updated last week
• halcyon-vue / halcyon-vue

  View on GitHub
  Material You plugin and component library for Vite and Vue 3
  ☆10Oct 20, 2023Updated 2 years ago
• jaywcjlove / swift-check-update

  View on GitHub
  Code to check if there is a new version on the App Store.
  ☆19Dec 4, 2025Updated 2 months ago
• RustOtomeLab / RustEng

  View on GitHub
  Rust开发的Galgame引擎，正在绝赞开发中（
  ☆29Updated this week
• linuiz-project / linuiz

  View on GitHub
  Novelty hybrid micro+mono kernel, designed to achieve extremely low overhead and memory footprint.
  ☆17Updated this week
• Huiyu-Li / Three-stage-Curriculum-Learning

  View on GitHub
  ☆12Oct 21, 2019Updated 6 years ago
• minseop4898 / RL-Course-by-David-Silver

  View on GitHub
  ☆13Aug 29, 2019Updated 6 years ago
• kkdai / ngram

  View on GitHub
  A ngram indexing implement in Go
  ☆12Oct 13, 2022Updated 3 years ago
• LiKev12 / CSE544T-Project-TextBugger

  View on GitHub
  ☆11Apr 23, 2020Updated 5 years ago
• hitsz-compiler-lyk / ssyc

  View on GitHub
  2022 年毕昇杯 萝杨空队 参赛项目
  ☆15Oct 7, 2023Updated 2 years ago
• asukaminato0721 / magic-in-ten-mins-ts

  View on GitHub
  十分钟魔法练习 TypeScript 版
  ☆14Dec 6, 2022Updated 3 years ago
• YdrMaster / operators-rs

  View on GitHub
  算子库（Rust）
  ☆14Jul 24, 2025Updated 6 months ago
• ssm-lang / sslang

  View on GitHub
  A language built atop the Sparse Synchronous Model
  ☆18Dec 23, 2023Updated 2 years ago
• zaslee / craftinginterpreters

  View on GitHub
  《Crafting Interpreters》 中文翻译
  ☆16Jan 6, 2024Updated 2 years ago
• Krysztal112233 / AgrarianRevolution

  View on GitHub
  New adventure of agriculture.
  ☆11Aug 29, 2024Updated last year
• k8scat / action-mirror-git

  View on GitHub
  Synchronize git repositories like a mirror.
  ☆14May 12, 2022Updated 3 years ago
• tchajed / sys-verif-fa24

  View on GitHub
  Course website for Systems Verification Fall 2024
  ☆14Jul 10, 2025Updated 7 months ago