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:
- Website for CS 265☆32Updated 11 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆15Updated 3 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Updated 2 years ago
- Stanford CS 110L Spring 2020 assignment starter code☆106Updated last year
- A verified library of synchronization primitives and concurrent data structures☆38Updated 2 months ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Updated last month
- Course website for Systems Verification Fall 2024☆13Updated 4 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆210Updated 5 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- A program synthesis framework for verified lifting applications☆57Updated 6 months ago
- compiling DSLs to high-level hardware instructions☆23Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆35Updated 5 years ago
- A translation validation framework for MLIR☆89Updated 8 months ago
- Lab assignments for 6.826☆17Updated 5 years ago
- Yizhou' Homepage☆52Updated 3 months ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆18Updated 2 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆110Updated 3 months ago
- Repo for Performance Interfaces for Hardware Accelerators.☆16Updated 3 months ago
- A bogus CPU emulator written in Rust.☆54Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆146Updated 5 years ago
- Computer Networks @ Johns Hopkins University☆63Updated 4 years ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆32Updated 9 years ago
- UT Austin CS 380D Distributed Systems with Vijay Chidambaram☆21Updated 4 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 6 months ago
- UB-aware interpreter for LLVM debugging☆31Updated last month
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆32Updated last month