diku-dk / pmph-e2024-pubLinks
☆19Updated last year
Alternatives and similar repositories for pmph-e2024-pub
Users that are interested in pmph-e2024-pub are comparing it to the libraries listed below
Sorting:
- Course website for Data Parallel Programming at DIKU☆15Updated last year
- A better version of KU's course catalogue☆21Updated 5 months ago
- Public repository for Advanced Programming☆59Updated last year
- How do I DIKU? How indeed.☆28Updated last week
- Haskell bindings for MLIR☆120Updated last month
- A minimal development of SSA theory☆207Updated last week
- Public repository for HPPS☆14Updated last year
- Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages☆41Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- ☆70Updated 5 months ago
- A verified tensor library in Lean☆35Updated 4 months ago
- A proof assistant for higher-dimensional type theory☆234Updated 2 weeks ago
- Public repository for the 2023 edition of HPPS☆19Updated 2 years ago
- Verified Intermediate Representation☆23Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆197Updated last week
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆49Updated 2 weeks ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆127Updated 4 years ago
- Public repository for Advanced Programming☆60Updated 3 months ago
- PMPH course 2020 public repo☆13Updated 2 years ago
- Natural language tactics to teach mathematics using Lean 4☆116Updated last week
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆49Updated last week
- LaTeX code for a paper on lean's type theory☆161Updated 3 years ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆107Updated last month
- Neovim client for coq-lsp☆30Updated 4 months ago
- ☆47Updated last week
- A monadic library for symbolic evaluation☆73Updated 6 months ago
- An introduction to theorem proving in Lean for the impatient.☆329Updated this week
- Public repository for HPPS 2022☆21Updated 3 years ago
- PL conference deadline countdowns☆65Updated 2 weeks ago