upenn-cis198 / lecture1Links
High level overview of Rust
☆18Updated 4 years ago
Alternatives and similar repositories for lecture1
Users that are interested in lecture1 are comparing it to the libraries listed below
Sorting:
- Official page for 18-847C (Spring '22): Data Center Computing☆15Updated 3 years ago
- Lab assignments for 6.826☆17Updated 5 years ago
- Website for CS 265☆33Updated last year
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆22Updated 4 years ago
- Stanford CS 110L Spring 2020 assignment starter code☆108Updated last year
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆212Updated 5 years ago
- Course website for Systems Verification Fall 2024☆13Updated 6 months ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆34Updated 2 years ago
- List of bugs found in distributed protocols☆205Updated last year
- class repo for cs140e, stanford winter quarter 2022☆52Updated 3 years ago
- ☆27Updated 8 years ago
- ☆35Updated 5 years ago
- A program synthesis framework for verified lifting applications☆60Updated 7 months ago
- Yizhou' Homepage☆53Updated last month
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆126Updated 5 years ago
- Persistent Memory Programming book examples☆41Updated last year
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆18Updated 2 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Updated 2 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A community-oriented list of useful NUMA-related libraries, tools, and other resources☆76Updated 5 years ago
- Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…☆261Updated 4 months ago
- An advanced benchmarking tool☆193Updated 5 months ago
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆33Updated 3 months ago
- Generic model checker for concurrent C programs (mirror repository)☆188Updated last month
- In Spec We Trust☆42Updated 6 months ago
- Support for for students (Python)☆70Updated 2 months ago
- ☆147Updated 3 years ago
- Demonstrates using huge pages on Linux to improve performance (in Rust)☆28Updated 7 months ago
- Fixed-Point Decimal Library from Carnegie Mellon University☆38Updated last year
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆27Updated last year