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☆109Updated 5 months ago
- ☆126Updated this week
- A programming project on automatic differentiation in OCaml☆12Updated 2 years ago
- The Shine compiler for the RISE language☆83Updated last week
- ☆233Updated last year
- embedding MLIR in LEAN☆47Updated last year
- A deterministic parser with fused lexing☆74Updated 2 years ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆37Updated 7 years ago
- OCaml bindings for PyTorch☆429Updated 9 months ago
- SSA vs ANF☆43Updated 10 years ago
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- ☆53Updated 5 months ago
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- A monadic library for symbolic evaluation☆68Updated 3 weeks ago
- ☆41Updated last year
- A minimal development of SSA theory☆157Updated this week
- Functional Programming in Lean☆101Updated this week
- A toolkit for enforcing logical specifications on neural networks☆108Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Accelerated machine learning with dependent types☆97Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Parallel ML benchmark suite☆17Updated 3 months ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- The WIP book for CPSC 411☆66Updated last month
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆118Updated 4 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆148Updated last year
- ☆43Updated 3 years ago
- PL conference deadline countdowns☆61Updated 3 weeks ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 3 weeks ago