Baremetal environment for "System programming lab" class in Dept. of Information Science, The University of Tokyo
☆56May 3, 2023Updated 2 years ago
Alternatives and similar repositories for utokyo_syspro_baremetal
Users that are interested in utokyo_syspro_baremetal are comparing it to the libraries listed below
Sorting:
- Unofficial website of security camp☆14Aug 19, 2025Updated 6 months ago
- Replace all the dynamic heap allocation functions by LD_PRELOAD.☆25Jun 4, 2024Updated last year
- hypervisorなmemo☆13Jul 1, 2019Updated 6 years ago
- 「サイゼリヤで1000円あれば最大何kcal摂れるのか」を動的計画法で解いてみた☆11May 18, 2019Updated 6 years ago
- seccamp2018 c compiler☆57Aug 11, 2022Updated 3 years ago
- Text describing xv6 on RISC-V☆14Jul 23, 2020Updated 5 years ago
- A toy hypervisor.☆25Feb 17, 2023Updated 3 years ago
- ☆22Feb 27, 2026Updated last week
- Simple implementation of NVMe Linux usermode driver☆22Feb 1, 2018Updated 8 years ago
- ヒューリスティック探索入門☆18Dec 9, 2023Updated 2 years ago
- Hobby C Compiler☆23Jul 23, 2019Updated 6 years ago
- ☆28Jan 4, 2018Updated 8 years ago
- Tool set for developing Haribote OS .☆23May 20, 2019Updated 6 years ago
- A didactic on-disk key-value database management system.☆65May 19, 2021Updated 4 years ago
- Linux kernel source tree for SHARP Brain series (PW-SH1 or later)☆30Mar 18, 2025Updated 11 months ago
- aarch64 thin hypervisor for resource aggregation☆37Apr 7, 2025Updated 11 months ago
- Hands-on workshop on NGS data analysis @ NARO☆11Oct 24, 2023Updated 2 years ago
- my dotfiles 🪵 (neovim, wezterm, hyprland ...)☆33Jan 6, 2026Updated 2 months ago
- SECCON塔フォント☆10Feb 7, 2019Updated 7 years ago
- 文庫本スタイルのゲラをテキストファイルから作る、github actionsのワークフローです。☆11Sep 29, 2021Updated 4 years ago
- simple markdown editor and http server for reveal.js presentation powered by electron☆13Dec 8, 2022Updated 3 years ago
- Rakuten Mini C330 で Android 10 GSI を起動する際のブートループを修正します。※data初期化後は、一旦ブートループして一瞬Hi thereが出る画面まで進んでからTWRPを起動すればインストールできるようになります☆10Aug 15, 2020Updated 5 years ago
- driver manual mapper☆12Feb 22, 2020Updated 6 years ago
- Wrapper for DeviantArt API with typings☆10Oct 6, 2025Updated 5 months ago
- ☆41Aug 20, 2018Updated 7 years ago
- Visualize your Makefile using GraphViz dot utility☆11Jan 20, 2025Updated last year
- The ComponentContainer and Executor that assign a dedicated thread for each callback group.☆10Jun 20, 2025Updated 8 months ago
- httpstub provides router ( http.Handler ), server ( *httptest.Server ) and client ( *http.Client ) for stubbing, for testing in Go.☆13Mar 2, 2026Updated last week
- ☆16Feb 27, 2026Updated last week
- Easy way to execute your C# script via.☆11Jul 28, 2017Updated 8 years ago
- ☆11Apr 16, 2019Updated 6 years ago
- This project tries to integrate imgui to an Android Cocos2d-x game using Frida☆14Jul 19, 2022Updated 3 years ago
- Convert Blender's "Shape Keys" information into "Animator As Code" code.☆11Oct 2, 2022Updated 3 years ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- Human68k CUI Emulator☆12Feb 10, 2026Updated 3 weeks ago
- Simple Lossy Compression Image Format for Embedded Platforms☆11Oct 31, 2025Updated 4 months ago
- 直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン☆19Mar 3, 2026Updated last week
- Advanced Rust code virtualization and obfuscation framework☆29Dec 16, 2025Updated 2 months ago
- GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)☆11Dec 3, 2021Updated 4 years ago