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☆29Updated 8 months ago
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated last year
- All material for CS140E, winter 2023.☆84Updated last year
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆121Updated 5 years ago
- Code examples for tutoring modern C++☆98Updated last month
- Course Webpage of COMP737011 Memory Safety and Programming Language Design @ Fudan University☆32Updated 3 months ago
- A program synthesis framework for verified lifting applications☆54Updated 3 months ago
- Support for for students (Python)☆65Updated 3 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
- Online demo without installing at - https://buildit.so/tryit☆179Updated 2 months ago
- class repo for cs140e, stanford winter quarter 2022☆51Updated 3 years ago
- ☆33Updated 5 years ago
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆114Updated 3 weeks ago
- A bogus CPU emulator written in Rust.☆52Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 5 years ago
- An awesome list of e-graph resources☆223Updated last week
- List of bugs found in distributed protocols☆199Updated last year
- Course website for Systems Verification Fall 2024☆12Updated last month
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆210Updated 5 years 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
- Generic model checker for concurrent C programs (mirror repository)☆156Updated 3 weeks ago
- All handouts will be here☆27Updated 2 years ago
- Learn LLVM 17, published by Packt☆203Updated last year
- ChocoPy LLVM Repo☆76Updated 2 years ago
- Lab assignments for 6.826☆11Updated 5 years ago
- compiling DSLs to high-level hardware instructions☆23Updated 2 years ago
- This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine graine…☆26Updated last year
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago