Operating Systems Design and Implementation Notes
☆50Oct 30, 2024Updated last year
Alternatives and similar repositories for OSDI
Users that are interested in OSDI are comparing it to the libraries listed below
Sorting:
- examples for my book "A Lisp Programmer Living in Python-Land: The Hy Programming Language"☆43Feb 8, 2026Updated last month
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆14May 26, 2025Updated 9 months ago
- 小型的tcp/ip协议栈，主控芯片为stm32f407☆15Jul 12, 2015Updated 10 years ago
- 第四届全国大学生嵌入式比赛SoC☆11Apr 1, 2022Updated 3 years 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 weeks ago
- Python quick reference☆21Nov 14, 2013Updated 12 years ago
- Common Lisp The Language Second Edition☆13May 28, 2024Updated last year
- A collection of examples from On Lisp by Paul Graham translated into Clojure.☆55Jun 5, 2014Updated 11 years ago
- Helper scripts used to clone RISC-V related git repos inside China.☆16Sep 17, 2020Updated 5 years ago
- this repository is for the source files of the Mico Shield for Arduino☆23Oct 22, 2013Updated 12 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
- 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
- ☆36May 2, 2018Updated 7 years ago
- aprs - weewx extension for generating APRS-compliant packets☆22Mar 6, 2024Updated 2 years ago
- 一生一芯RISCV处理器核代码仓库（包括相关工具）☆15Sep 11, 2024Updated last year
- 面向可信执行环境的OS。☆12May 9, 2025Updated 10 months ago
- ☆12Mar 5, 2025Updated last year
- Simple level maker made with unity and csharp☆10Jun 18, 2021Updated 4 years ago
- ☆13Jun 22, 2022Updated 3 years ago
- FastCGI implementation for Deno. Allows to use Deno as web requests handler behind nginx or apache2.☆10Sep 5, 2025Updated 6 months ago
- Online UNO game written in Node.js☆13Aug 4, 2013Updated 12 years ago
- mp4 video download from Vimeo and DailyMotion☆10Apr 4, 2017Updated 8 years ago
- My typeset of the eternal truth☆13Sep 10, 2017Updated 8 years ago
- SystemVerilog files for lab project on a DNN hardware accelerator☆18Jun 22, 2021Updated 4 years ago
- Spellchecker service based on hunspell for 90 languages☆10Oct 26, 2020Updated 5 years ago
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- ☆20Apr 7, 2021Updated 4 years ago
- SpyCore - Windows Malicious FIle Scanner (Distributes)☆14Jun 10, 2023Updated 2 years ago
- Repository for the AM2R: ReSplashed mod.☆21Updated this week
- A Tomasulo & Scoreboarding Visual Simulator☆10Nov 19, 2023Updated 2 years ago
- Version of dump1090 for RSP devices☆68Jan 30, 2026Updated last month
- ☆22Feb 26, 2022Updated 4 years ago
- Skins mod for minetest☆13Feb 25, 2014Updated 12 years ago
- TCP/IP stack implementation☆18May 11, 2020Updated 5 years ago
- Communicate with an STB portal☆10Feb 6, 2016Updated 10 years ago