diku-dk / ap-e2024-pubLinks
Public repository for Advanced Programming
☆59Updated 8 months ago
Alternatives and similar repositories for ap-e2024-pub
Users that are interested in ap-e2024-pub are comparing it to the libraries listed below
Sorting:
- How do I DIKU? How indeed.☆28Updated 3 weeks ago
- Course website for Data Parallel Programming at DIKU☆13Updated 9 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆275Updated 3 weeks ago
- A proof assistant for higher-dimensional type theory☆216Updated last month
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated 2 weeks ago
- A monadic library for symbolic evaluation☆69Updated 2 months ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆120Updated 4 months ago
- Course materials for Chalmers TPIL25 class☆15Updated 8 months ago
- ☆19Updated 8 months ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆66Updated last week
- A better version of KU's course catalogue☆21Updated last month
- ☆233Updated last year
- PhD course on Functional Programming and Climate Impact Research☆50Updated last month
- The agda-unimath library☆269Updated this week
- Selected Papers of Dana S. Scott☆165Updated last year
- Play/learn/work with me☆109Updated last month
- Compiling Agda code to readable Haskell☆193Updated this week
- Accelerated machine learning with dependent types☆100Updated 2 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆56Updated 5 years ago
- Parallel Functional Programming, 2020☆16Updated last year
- A work-in-progress core language for Agda, in Agda☆55Updated this week
- Agda bindings to SMT-LIB2 compatible solvers.☆102Updated 2 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 11 months ago
- SPLV20 course notes☆113Updated 2 years ago
- A Haskell probabilistic programming library.☆20Updated 2 months ago
- Public repository for Advanced Programming☆59Updated this week
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆248Updated 2 months ago