ezyang / pl-class-publicLinks
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆37Updated 3 years ago
Alternatives and similar repositories for pl-class-public
Users that are interested in pl-class-public are comparing it to the libraries listed below
Sorting:
- Haskell bindings for MLIR☆108Updated 4 months ago
- ☆121Updated 2 weeks ago
- embedding MLIR in LEAN☆47Updated last year
- The Shine compiler for the RISE language☆83Updated last month
- Geometry types☆30Updated 4 years ago
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆102Updated this week
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- ☆51Updated 4 months ago
- ☆40Updated last year
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 3 weeks ago
- A deterministic parser with fused lexing☆73Updated last year
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆17Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆10Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆55Updated 2 years ago
- A tracing JIT compiler for PyTorch☆13Updated 3 years ago
- Parallel ML benchmark suite☆17Updated 2 months ago
- POC work on MLIR backend☆55Updated 10 months ago
- 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
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- Rhyme is an Expressive Data-Centric Query Language☆29Updated last week
- OCaml Bindings to MLIR☆15Updated 4 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Python bindings for egg☆49Updated 2 years ago
- A minimal development of SSA theory☆145Updated this week
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- A translation validation framework for MLIR☆87Updated 3 months ago
- PL conference deadline countdowns☆60Updated this week