ezyang / pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆36Updated 2 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
- Haskell bindings for MLIR☆101Updated 3 weeks ago
- A programming project on automatic differentiation in OCaml☆11Updated 2 years ago
- ☆111Updated 2 months ago
- embedding MLIR in LEAN☆47Updated 7 months ago
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- A deterministic parser with fused lexing☆72Updated last year
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆75Updated this week
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- A minimal development of SSA theory☆108Updated this week
- The Shine compiler for the RISE language☆76Updated 2 months ago
- ☆35Updated 9 months ago
- OCaml Bindings to MLIR☆14Updated 4 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- An experimental ahead of time compiler for Relay.☆50Updated 4 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 3 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 2 years ago
- ☆78Updated last month
- ☆44Updated 2 months ago
- A monadic library for symbolic evaluation☆58Updated last week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆41Updated last year
- Streaming client for OCaml's Memprof☆64Updated 4 months ago
- Automatic Differentiation for high-performance stencil loops☆12Updated 3 years ago
- Functional Programming in Lean☆74Updated 8 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- The LLVM tutorial using OCaml☆27Updated last year
- Notes on higher-order typed compilation. Probably wrong☆23Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- A verified polyhedral scheduling validator in Coq.☆19Updated 3 months ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆77Updated this week