upenn-cis198 / lecture1Links
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
Sorting:
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 3 years ago
- Website for CS 265☆30Updated 9 months ago
- A program synthesis framework for verified lifting applications☆55Updated 4 months ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆65Updated 4 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Updated 2 years ago
- SBLP 2025 MLIR Tutorial☆54Updated 2 weeks ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆19Updated this week
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated 3 weeks ago
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated last year
- Yizhou' Homepage☆51Updated 2 months ago
- Generic model checker for concurrent C programs (mirror repository)☆156Updated 2 months ago
- A verified library of synchronization primitives and concurrent data structures☆38Updated last month
- Online demo without installing at - https://buildit.so/tryit☆182Updated last week
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆210Updated 5 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 4 months ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆33Updated 2 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Updated last month
- A verification tool for many memory models☆102Updated this week
- Rewrite Rule Inference Using Equality Saturation☆140Updated 4 months ago
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆33Updated 5 months ago
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆118Updated this week
- A translation validation framework for MLIR☆88Updated 6 months ago
- Course website for Systems Verification Fall 2024☆12Updated 3 months ago
- A bogus CPU emulator written in Rust.☆52Updated last year
- ☆14Updated last year
- List of bugs found in distributed protocols☆199Updated last year
- Lab assignments for 6.826☆16Updated 4 years ago