-
rust_dos Public
Rust DOS : Creating a DOS executable with Rust
-
L2_kernel_trg Public
Forked from kaiwan/L2_kernel_trgSource code for the kaiwanTECH 'Linux Kernel Internals' ILT (instructor lead) training
Makefile MIT License UpdatedNov 2, 2025 -
L5_kernel_debug Public
Forked from kaiwan/L5_kernel_debugSource code, small utils : for the kaiwanTECH 'Linux Kernel Debugging - Tools and Techniques' training sessions
Makefile MIT License UpdatedNov 2, 2025 -
L3_dd_trg Public
Forked from kaiwan/L3_dd_trgSource code for the kaiwanTECH 'Linux Device Drivers' corporate training sessions
Makefile MIT License UpdatedOct 28, 2025 -
rocq-session-types-tutorial Public
Forked from carbonem/rocq-session-types-tutorialA tutorial on how to mechanize session types in Rocq with Linearity Predicates
Rocq Prover MIT License UpdatedSep 26, 2025 -
octox Public
Unix-like OS in Rust inspired by xv6-riscv
-
-
Linux-Kernel-Programming_2E Public
Forked from PacktPublishing/Linux-Kernel-Programming_2ELinux Kernel Programming 2E - published by Packt
Makefile MIT License UpdatedJul 12, 2025 -
-
-
-
L4_emblinux_trg Public
Forked from kaiwan/L4_emblinux_trgSource code for the kaiwanTECH 'Embedded Linux' corporate training sessions
Makefile MIT License UpdatedMar 31, 2025 -
llms-from-scratch-rs Public
Forked from nerdai/llms-from-scratch-rsA comprehensive Rust translation of the code from Sebastian Raschka's Build an LLM from Scratch book.
Rust MIT License UpdatedMar 5, 2025 -
-
mpst_rust_github Public
Forked from NicolasLagaillardie/mpst_rust_githubA library for deadlock-free multiparty session-typed communication in Rust.
Rust Apache License 2.0 UpdatedSep 18, 2024 -
Hypervisor-From-Scratch Public
Forked from SinaKarvandi/Hypervisor-From-ScratchSource code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
C MIT License UpdatedSep 5, 2024 -
-
L5_debug_trg Public
Forked from kaiwan/L5_debug_trgSource code, small utils : for the kaiwanTECH 'Linux Debugging Techniques' corporate training sessions
C MIT License UpdatedMay 26, 2024 -
httpd Public
Forked from apache/httpdMirror of Apache HTTP Server. Issues: http://issues.apache.org
C Apache License 2.0 UpdatedMay 23, 2024 -
-
xv6-aarch64 Public
Forked from k-mrm/xv6-aarch64xv6 port to aarch64 virt board
C Other UpdatedOct 22, 2023 -
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Makefile MIT License UpdatedAug 14, 2023 -
-
cadence-macb Public
Forked from elliott10/cadence-macbCadence Macb ethernet driver in Rust on Sifive fu740 board
Rust GNU General Public License v3.0 UpdatedFeb 23, 2023 -
org-roam-ui Public
Forked from org-roam/org-roam-uiA graphical frontend for exploring your org-roam Zettelkasten
-
L7_infosec Public
Forked from kaiwan/L7_infosecCode for participants attending the 'Linux Secure Coding Practices, Hack1ng & OS Hardening'
Makefile MIT License UpdatedDec 4, 2022 -
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp GNU General Public License v3.0 UpdatedNov 22, 2022 -
-
SKK-JISYO.emoji-ja Public
Forked from ymrl/SKK-JISYO.emoji-ja日本語の読みから Emoji に変換するための SKK 辞書 😂
Ruby BSD 3-Clause "New" or "Revised" License UpdatedDec 22, 2021 -
VSpaceCode Public
Forked from VSpaceCode/VSpaceCodeSpacemacs like keybindings for Visual Studio Code
TypeScript MIT License UpdatedOct 4, 2021
{{ message }}