ezyang / pl-class-publicLinks
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆38Updated 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☆110Updated 7 months ago
- ☆134Updated 3 weeks ago
- The Shine compiler for the RISE language☆84Updated this week
- The WIP book for CPSC 411☆66Updated 2 months ago
- SSA vs ANF☆43Updated 10 years ago
- ☆233Updated last year
- embedding MLIR in LEAN☆47Updated last year
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- A minimal development of SSA theory☆178Updated this week
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- OCaml bindings for PyTorch☆431Updated 11 months ago
- Accelerated machine learning with dependent types☆98Updated last month
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 3 months ago
- CS 704 course website - Principles of Programming Languages☆69Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆119Updated 4 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- ☆53Updated 2 weeks ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 3 years ago
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- Online demo without installing at - https://buildit.so/tryit☆181Updated 2 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 3 months ago
- Parallel ML benchmark suite☆18Updated 2 weeks ago
- A compiler for functional programs on serialized data☆167Updated this week
- a playground for working with fully static tensors and automatic differentiation☆16Updated 4 years ago
- A framework to find good combinations of optimizations for computational kernels on GPUs.☆25Updated 4 years ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆37Updated 7 years ago
- A deterministic parser with fused lexing☆74Updated 2 years ago
- An awesome list of e-graph resources☆233Updated last week