ezyang / pl-class-public
Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
☆36Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for pl-class-public
- Haskell bindings for MLIR☆97Updated last month
- A monadic library for symbolic evaluation☆55Updated 2 weeks ago
- A programming project on automatic differentiation in OCaml☆11Updated last year
- Functional Programming in Lean☆71Updated 6 months ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- The Shine compiler for the RISE language☆73Updated 2 weeks ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆69Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- Accelerated machine learning with dependent types☆79Updated this week
- The WIP book for CPSC 411☆59Updated 2 months ago
- A toolkit for enforcing logical specifications on neural networks☆80Updated this week
- Python3 auto-active verification library (migrated to an Intel project)☆24Updated 2 years ago
- PL conference deadline countdowns☆52Updated 2 weeks ago
- ☆38Updated this week
- A deterministic parser with fused lexing☆71Updated last year
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆101Updated last year
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 7 years ago
- Haskell experiments involving TVM AI framework☆21Updated 5 years ago
- Geometry types☆26Updated 3 years ago
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆148Updated last year
- Git repository for the course Logika v računalništvu☆11Updated 2 years ago
- A verified polyhedral scheduling validator in Coq.☆19Updated last month
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆59Updated this week
- Coq code formatter☆21Updated last week
- ☆100Updated this week