upenn-cis198 / lecture1
High level overview of Rust
☆18Updated 3 years ago
Alternatives and similar repositories for lecture1:
Users that are interested in lecture1 are comparing it to the libraries listed below
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆24Updated 7 years ago
- Generic Automatic Parallel Profiler☆32Updated 4 years ago
- CS510 Advanced Topics in Concurrency Project☆15Updated 4 years ago
- ☆31Updated 3 years ago
- An advanced benchmarking tool☆153Updated 2 years ago
- RLU resizable hash-table☆16Updated 9 years ago
- RedLeaf Operating System☆120Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 2 years ago
- A caching framework for microservice applications☆19Updated 9 months ago
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆16Updated last year
- All handouts will be here☆25Updated 2 years ago
- Notary: A Device for Secure Transaction Approval 📟☆28Updated last year
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 2 years ago
- An intel PT trace converter from `perf.data` to Fuchsia trace format.☆47Updated 5 months ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆115Updated 4 years ago
- A verified library of synchronization primitives and concurrent data structures☆26Updated this week
- Lab assignments for 6.826☆10Updated 5 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 4 years ago
- Website for CS 265☆26Updated last month
- A community-oriented list of useful NUMA-related libraries, tools, and other resources☆66Updated 4 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆28Updated 11 years ago
- ☆30Updated 4 years ago
- Verification and optimization tool for concurrent code☆22Updated this week
- The Twizzler Operating System☆84Updated last week
- ☆52Updated 8 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆32Updated 4 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated last year
- ☆77Updated 2 years ago