ops-class.org OS/161 sources.
☆137Jul 9, 2020Updated 5 years ago
Alternatives and similar repositories for os161
Users that are interested in os161 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sources for the test161 Go libraries and command line tool.☆22Apr 11, 2018Updated 8 years ago
- www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.☆93Aug 17, 2017Updated 8 years ago
- Kernel for my operating system KoraOS☆18May 29, 2026Updated 2 weeks ago
- ☆11May 26, 2020Updated 6 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 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.
- System Programming☆11Nov 9, 2018Updated 7 years ago
- SYS/BIOS: kernel for Texas Instruments TI-RTOS☆12Jan 21, 2014Updated 12 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- A generic starting template for writing research papers.☆14Apr 19, 2019Updated 7 years ago
- File storage based on golang and facebook haystack☆18Apr 12, 2017Updated 9 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆19May 8, 2015Updated 11 years ago
- ☆14Jul 14, 2015Updated 10 years ago
- Perf bindings for OpenTelemetry☆11Jan 14, 2020Updated 6 years ago
- one large file contains a billion of small files☆14Mar 7, 2014Updated 12 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Wide Area Network Link Emulation with TC and NetEm☆32Feb 20, 2024Updated 2 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Mar 29, 2023Updated 3 years ago
- Main repository for Harvard CS260r 2017.☆12Apr 25, 2017Updated 9 years ago
- ☆20Sep 25, 2017Updated 8 years ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆17Jul 17, 2016Updated 9 years ago
- ☆20May 19, 2026Updated 3 weeks ago
- Yet another C standard library☆17May 9, 2026Updated last month
- ns3sionna is a software module that brings realistic channel simulation using ray tracing from Sionna to the ns-3 network simulator☆35Dec 11, 2025Updated 6 months ago
- Ansible role for packages required for compiling C software from source.☆15May 21, 2026Updated 3 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- notes on distributed systems papers and miscellaneous reading☆11Nov 14, 2016Updated 9 years ago
- ☆54Aug 5, 2013Updated 12 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- ☆13Jun 26, 2012Updated 13 years ago
- SHA-3 (KECCAK) Erlang NIFs (based on NIST reference C implementation)☆23Mar 3, 2023Updated 3 years ago
- parse .mobileprovision (iOS) and .provisionprofile (OS X) files☆10Jun 13, 2019Updated 7 years ago
- Jezzball-inspired action-puzzle game where you rescue penguins from an iceberg. See http://mattdm.org/icebreaker/☆14Dec 4, 2024Updated last year
- Code related with system programming (os, admin, etc.)☆13Jul 11, 2020Updated 5 years ago
- A Scala DSL for the Kompics framework☆20Feb 1, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Sep 29, 2019Updated 6 years ago
- 從 C 語言到 RISCV 處理器☆24Jan 18, 2019Updated 7 years ago
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- A sample vulnerable driver that emulates kernel mode vulnerabilities.☆19Jan 30, 2016Updated 10 years ago
- Go library for Monero RPC☆12Dec 17, 2017Updated 8 years ago
- Official repository for ASAP: High System-code Security at Low Overhead☆28Dec 3, 2015Updated 10 years ago
- Stuff that I learned while having two babies☆15Apr 17, 2021Updated 5 years ago