upenn-cis198 / lecture1
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
- How to Build an LLVM Backend, published by Packt☆22Updated 3 weeks ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 3 weeks ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 3 years ago
- ☆30Updated 3 years ago
- simple snapshot-style integration testing for commands☆71Updated 9 months ago
- Website for CS 265☆28Updated 3 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- A bogus CPU emulator written in Rust.☆53Updated 8 months ago
- A program synthesis framework for verified lifting applications☆52Updated last week
- ☆28Updated 2 years ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- An attempt at safe imperative GPU programming.☆43Updated last week
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- ☆20Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆19Updated 4 years ago
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- FPGA synthesis tool powered by program synthesis☆41Updated last week
- Cheap: customized heaps for improved application performance.☆27Updated 2 years ago
- Virtual machine for executing CUDA PTX without a GPU☆33Updated last year
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated 3 years ago
- Support for for students (Python)☆62Updated 4 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆206Updated 4 years ago
- A simple borrow-checked language built using LLVM's MLIR☆27Updated 4 years ago
- Persistent Memory Programming book examples☆39Updated 5 months ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- Rewrite Rule Inference Using Equality Saturation☆125Updated this week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago