☆26Sep 18, 2022Updated 3 years ago
Alternatives and similar repositories for rCore-Tutorial-Code-2022S
Users that are interested in rCore-Tutorial-Code-2022S are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Stanford CS 110L : Safety in Systems Programming☆12Mar 8, 2021Updated 5 years ago
- 上海交通大学软件学院课程云操作系统设计与实践(SE3356)笔记☆17Sep 5, 2022Updated 3 years ago
- Let's write an OS which can run on RISC-V in Rust from scratch!☆16Sep 18, 2023Updated 2 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Feb 7, 2021Updated 5 years ago
- A Common Lisp client library for the Docker Remote API☆14Jan 3, 2015Updated 11 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.
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- Zig bindings for the `libuv` library☆13Jan 19, 2023Updated 3 years ago
- ☆11Jun 9, 2022Updated 3 years ago
- Prototype of set-theoretic type system, with polymorphism and type inference.☆13Oct 17, 2025Updated 6 months ago
- Some CS notes during Jiawei's undergrad.☆33Jan 6, 2022Updated 4 years ago
- Extremely simple html live preview for Emacs.☆11Jun 28, 2025Updated 10 months ago
- ☆12Aug 5, 2021Updated 4 years ago
- DWARF explorer☆16Jun 24, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Concurrent (with OLC) Adaptive Radix Trie in Golang.☆12Jul 31, 2020Updated 5 years ago
- My Interview recording repo.☆11Mar 22, 2023Updated 3 years ago
- Bare metal core dump☆11Feb 23, 2019Updated 7 years ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 4 years ago
- a lightweight, robust, scheme-like lisp implementation☆19Mar 17, 2020Updated 6 years ago
- 同济2022抗击疫情实录。☆35Apr 27, 2022Updated 4 years ago
- Portable threads API for Common Lisp (from GBBopen project)☆13May 23, 2021Updated 4 years ago
- Semantic subtype for the Ballerina programming language, implemented in Ballerina.☆11May 27, 2021Updated 4 years ago
- 《告前端同学书》全文，欢迎转载。此”书“是文体，不是出版书。^^.☆15Nov 28, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Zicx's Notebook.☆10Nov 7, 2025Updated 5 months ago
- ⚡ The fastest line counter. At least on my computer.☆17Jul 5, 2025Updated 9 months ago
- Interview experiences from students @SJTU-SE☆40Sep 22, 2023Updated 2 years ago
- English helper for Emacs, base on corfu-mode☆18May 15, 2022Updated 3 years ago
- Node based programming tool☆12Jan 8, 2023Updated 3 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- 模型加速/模型压缩（已完成所有Lab）☆11Dec 24, 2023Updated 2 years ago
- My emacs configurations☆18Feb 25, 2025Updated last year
- pwn envs based on docker of ubuntu16.04,18.04,20.04☆10Dec 4, 2022Updated 3 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.
- R7RS expander☆17Aug 18, 2021Updated 4 years ago
- A MAC (Marker-And-Cell) solver written in Taichi☆10Aug 30, 2022Updated 3 years ago
- C311 Spring 2022☆13Mar 17, 2025Updated last year
- Battery data analysis tools☆14Aug 1, 2024Updated last year
- ☆12May 19, 2022Updated 3 years ago
- spinning 3d donut-ish in Fortran☆12Feb 2, 2024Updated 2 years ago
- machine translation data process tools☆10Apr 29, 2024Updated 2 years ago