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:
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 3 years ago
- Lab assignments for 6.826☆15Updated 4 years ago
- Lab assignments for 6.826☆11Updated 5 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆17Updated 3 years ago
- CS510 Advanced Topics in Concurrency Project☆15Updated 5 years ago
- simple snapshot-style integration testing for commands☆71Updated last week
- Website for CS 265☆28Updated 5 months ago
- ☆30Updated 3 years ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆52Updated last year
- A program synthesis framework for verified lifting applications☆52Updated last week
- In Spec We Trust☆35Updated 3 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆119Updated 4 years ago
- Verification and optimization tool for concurrent code☆24Updated last month
- UB-aware interpreter for LLVM debugging☆29Updated this week
- A SQL query compiler written in Rust from scratch☆22Updated 8 months ago
- Virtual machine for executing CUDA PTX without a GPU☆33Updated last year
- ☆28Updated 4 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated 2 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- GPU model checker☆11Updated 6 years ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 4 years ago
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated 10 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated last week
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- A translation validation framework for MLIR☆85Updated 2 months ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆29Updated 2 years ago
- class repo for cs140e, stanford winter quarter 2022☆51Updated 3 years ago