Operating Systems Design and Implementation Notes
☆51Oct 30, 2024Updated last year
Alternatives and similar repositories for OSDI
Users that are interested in OSDI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- branch of the minix3 OS for use in COS421 (Operating Systems)☆24Mar 14, 2010Updated 16 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated 11 months ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 6 years ago
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 2 months ago
- Python quick reference☆21Nov 14, 2013Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Aug 12, 2021Updated 4 years ago
- Educational comparison of the Paxos and Raft distributed consensus algorithms☆12Jul 23, 2023Updated 2 years ago
- SNN on FPGA☆13Apr 26, 2022Updated 4 years ago
- verilog/FPGA hardware description for very simple GPU☆16Apr 9, 2019Updated 7 years ago
- symmetric clock tree synthesis for NTV IC design☆11May 8, 2022Updated 4 years ago
- A collection of examples from On Lisp by Paul Graham translated into Clojure.☆55Jun 5, 2014Updated 11 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Feb 24, 2023Updated 3 years ago
- Verilog program☆16Jul 27, 2020Updated 5 years ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Sep 26, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Implementation of the pipelined RISC V processor with many useful features as fully bypassing, dynamic branch prediction, single and mult…☆18Feb 12, 2024Updated 2 years ago
- ☆11Jul 9, 2023Updated 2 years ago
- Pipelined Processor which implements RV32i Instruction Set. Also contains pipelined L1 4-way set-associative Instruction Cache, direct-ma…☆14Dec 23, 2022Updated 3 years ago
- 大菠萝车机，交流文档 https://www.yuque.com/motobox/motobox☆24Mar 1, 2026Updated 2 months ago
- Simple level maker made with unity and csharp☆11Jun 18, 2021Updated 4 years ago
- ☆12Mar 5, 2025Updated last year
- ☆13Jun 2, 2022Updated 3 years ago
- The code based on vLLM for the paper “ Cost-Efficient Large Language Model Serving for Multi-turn Conversations with CachedAttention”.☆11Sep 19, 2024Updated last year
- introduce AI infra knowledges. 人工智能系统基础架构知识库☆16Jun 4, 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.
- 模仿百度搜索栏制作一个简易的search demo☆11Apr 13, 2017Updated 9 years ago
- My typeset of the eternal truth☆14Sep 10, 2017Updated 8 years ago
- SystemVerilog files for lab project on a DNN hardware accelerator☆18Jun 22, 2021Updated 4 years ago
- ☆20Apr 7, 2021Updated 5 years ago
- SpyCore - Windows Malicious FIle Scanner (Distributes)☆14Jun 10, 2023Updated 2 years ago
- Repository for the AM2R: ReSplashed mod.☆22Mar 17, 2026Updated 2 months ago
- A Tomasulo & Scoreboarding Visual Simulator☆11Nov 19, 2023Updated 2 years ago
- A Rocket-based RISC-V superscalar in-order core☆39Mar 11, 2026Updated 2 months ago
- dozegms☆11Sep 2, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Skins mod for minetest☆13Feb 25, 2014Updated 12 years ago
- TCP/IP stack implementation☆18May 11, 2020Updated 6 years ago
- IDA Pro Python plugin to analyze and annotate Linux kernel alternatives☆23Dec 15, 2021Updated 4 years ago
- Source code for 'Interpreting Lisp' by Gary D. Knott☆24Mar 22, 2023Updated 3 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Nov 7, 2019Updated 6 years ago
- Apify actor extracting data from Zalando☆13May 18, 2024Updated 2 years ago
- ☆18Oct 8, 2024Updated last year