Liblor / advanced_operating_systems_2020Links
Advanced Operating System Course at ETHZ
☆19Updated 4 years ago
Alternatives and similar repositories for advanced_operating_systems_2020
Users that are interested in advanced_operating_systems_2020 are comparing it to the libraries listed below
Sorting:
- ☆28Updated this week
- Gatery, a library for circuit design.☆21Updated 11 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆19Updated last month
- ☆105Updated 2 months ago
- ☆30Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆17Updated 3 years ago
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆85Updated 2 years ago
- ☆86Updated this week
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆16Updated 9 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆16Updated last year
- A networked FPGA key-value store written in Clash☆29Updated last year
- Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.☆75Updated 4 years ago
- ☆72Updated 2 months ago
- Embedded Linker☆216Updated this week
- A performant, parallel, probabilistic, random acyclic-graph, low-latency, perfect hash generation library.☆85Updated 5 months ago
- Official page for 18-847C (Spring '22): Data Center Computing☆15Updated 3 years ago
- Infrastructure to drive Spike (RISC-V ISA Simulator) in cosim mode. Hammer provides a C++ and Python interface to interact with Spike.☆38Updated 3 months ago
- musl: A C standard library☆15Updated 2 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A comprehensive systems programming toolkit implementing low-level concepts in C, from memory management to OS internals. Features practi…☆70Updated 9 months ago
- Quite OK image compression Verilog implementation☆22Updated 11 months ago
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Updated 11 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- CV32E40X Design-Verification environment☆15Updated last year
- An NVMe Device Simulation Library.☆50Updated 3 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆19Updated 2 weeks ago
- BEER determines an ECC code's parity-check matrix based on the uncorrectable errors it can cause. BEER targets Hamming codes that are use…☆19Updated 5 years ago
- X86 CPU topics overview for developers , oriented towards performance☆202Updated 8 months ago
- Nautilus Aerokernel☆47Updated 3 years ago
- A simple profiler to count Nvidia PTX assembly instructions of OpenCL/SYCL/CUDA kernels for roofline model analysis.☆55Updated 8 months ago