ezyang / pl-class-publicLinks
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆39Updated 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☆118Updated 3 weeks ago
- ☆143Updated last month
- The Shine compiler for the RISE language☆83Updated 2 weeks ago
- A programming project on automatic differentiation in OCaml☆11Updated 3 years ago
- Accelerated machine learning with dependent types☆101Updated this week
- ☆86Updated 6 months ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆37Updated 7 years ago
- Haskell experiments involving TVM AI framework☆20Updated 6 years ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆415Updated 2 weeks ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31Updated 2 years ago
- ☆234Updated last year
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- Elsa is a lambda calculus evaluator☆191Updated 2 months ago
- A compiler for functional programs on serialized data☆173Updated last week
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- A monadic library for symbolic evaluation☆73Updated 5 months ago
- embedding MLIR in LEAN☆48Updated last year
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 3 years ago
- The WIP book for CPSC 411☆66Updated 2 weeks ago
- OCaml bindings for PyTorch☆433Updated last year
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- Encoding of GHC Core inside MLIR☆19Updated 5 years ago
- A toolkit for enforcing logical specifications on neural networks☆122Updated this week
- ☆53Updated 2 months ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 10 years ago
- A minimal development of SSA theory☆202Updated last week
- a categorical deep learning compiler☆206Updated 3 months ago
- LLVM backend for Accelerate☆167Updated 2 weeks ago
- 😎TT☆236Updated last month