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:
- www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.☆92Aug 17, 2017Updated 8 years ago
- A copy of the source for Grinstead and Snell's lovely probability book☆14Dec 20, 2015Updated 10 years ago
- Boost.org conversion module☆14Mar 11, 2026Updated last month
- ☆11May 26, 2020Updated 5 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My Final Paper☆13Jun 28, 2015Updated 10 years ago
- Thread-safe in-memory cache for go☆14Jan 13, 2023Updated 3 years ago
- code for examining determinism of performance counters☆21Mar 18, 2021Updated 5 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Messing with Postgres query execution and hook infrastructure.☆13Nov 19, 2023Updated 2 years ago
- Open source ext2/ELF32 bootloader☆15Oct 2, 2017Updated 8 years ago
- Simple dashboard of records created this week, this month, and all time, mountable as a Rails Engine.☆78Dec 8, 2023Updated 2 years ago
- A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao☆18May 8, 2015Updated 10 years ago
- HBase tailored but otherwise generic JMXToolkit.☆28Jul 6, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Haskell FFI bindings to the FoundationDB C API☆36Nov 12, 2023Updated 2 years ago
- one large file contains a billion of small files☆14Mar 7, 2014Updated 12 years ago
- the project of operating system course.☆11Jul 30, 2017Updated 8 years ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Mar 29, 2023Updated 3 years ago
- ulx3s ghdl examples☆15Mar 6, 2021Updated 5 years ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Jul 17, 2016Updated 9 years ago
- Package rfc4193 implements Unique Local IPv6 Unicast Address prefix generation, as described in RFC 4193. MIT Licensed.☆12May 12, 2020Updated 5 years ago
- ☆19Mar 31, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Yet another C standard library☆17Oct 6, 2024Updated last year
- Rust-style mutex type for C++☆17Jan 12, 2024Updated 2 years ago
- A detailed michroarchitectural x86 simulator☆61Apr 14, 2017Updated 9 years ago
- Download pdf from Iprbooks.ru☆13Mar 18, 2023Updated 3 years ago
- My repositories for Icestudio.☆13Jul 14, 2025Updated 9 months ago
- Sketch Library for vector-based models☆15Mar 30, 2025Updated last year
- A simple script to modify password store entries with sed commands☆12Aug 8, 2016Updated 9 years ago
- ☆22Jul 19, 2015Updated 10 years ago
- ☆14Feb 14, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- Capability Distribution Language tools for seL4☆38Mar 31, 2026Updated 2 weeks ago
- SHA-3 (KECCAK) Erlang NIFs (based on NIST reference C implementation)☆23Mar 3, 2023Updated 3 years ago
- Code related with system programming (os, admin, etc.)☆13Jul 11, 2020Updated 5 years ago
- A List of InfoSec Resources☆10Jun 12, 2014Updated 11 years ago
- a simple consumer of Puppetfiles with NO dependency resolution that only supports github references☆27Apr 14, 2022Updated 4 years ago
- ☆17Sep 29, 2019Updated 6 years ago