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☆17Updated 3 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Updated 2 years ago
- Website for CS 265☆29Updated 6 months ago
- Lab assignments for 6.826☆15Updated 4 years ago
- Lab assignments for 6.826☆11Updated 5 years ago
- ☆30Updated 3 years ago
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated 3 months ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Updated last year
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- A verified library of synchronization primitives and concurrent data structures☆35Updated last month
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- Yizhou' Homepage☆47Updated 3 weeks ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated last month
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- ☆27Updated 2 months ago
- GPU model checker☆11Updated 6 years ago
- A program synthesis framework for verified lifting applications☆52Updated 3 weeks ago
- Verification and optimization tool for concurrent code☆25Updated 2 months ago
- Rust bindings for the NVM Library http://pmem.io☆16Updated 8 years ago
- CS510 Advanced Topics in Concurrency Project☆15Updated 5 years ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- CMU 15-745 Spring 2014☆10Updated 11 years ago
- VeriBetrKV OSDI'20 artifact☆11Updated 4 years ago
- UB-aware interpreter for LLVM debugging☆29Updated last week
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- Support for for students (Python)☆64Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- A Simple Abstract Interpreter, built for teaching purposes☆20Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year