diku-compSys / compSys-e2021-pubLinks
Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
☆20Updated 3 years ago
Alternatives and similar repositories for compSys-e2021-pub
Users that are interested in compSys-e2021-pub are comparing it to the libraries listed below
Sorting:
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 9 months ago
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Course website for Data Parallel Programming at DIKU☆14Updated last year
- A better version of KU's course catalogue☆21Updated 3 months ago
- Public repository for the HPPS course☆17Updated 3 years ago
- Agda interaction in vim☆134Updated 4 years ago
- A Haskell project template for Advent of Code solutions.☆33Updated 2 years ago
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆32Updated 4 years ago
- Interactive Coq Proofs in Vim☆310Updated 2 weeks ago
- HoTTEST Summer School materials☆318Updated 6 months ago
- agda-mode for neovim☆171Updated last month
- Public repository for Advanced Programming☆59Updated 10 months ago
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 8 months ago
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆139Updated last year
- Public repository for Advanced Programming☆60Updated last month
- ☆19Updated 11 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆125Updated 4 years ago
- The Haskell LaTeX library.☆199Updated 2 years ago
- ☆90Updated 4 years ago
- The agda-unimath library☆278Updated 2 weeks ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆23Updated 2 years ago
- An interpreter for learning and exploring pure λ-calculus☆463Updated 4 years ago
- Neovim support for the Lean theorem prover☆448Updated this week
- Total Parser Combinators in Agda☆132Updated 4 months ago
- Categorical Logic Notes☆81Updated 3 years ago
- CoDi: Commutative Diagrams for TeX☆31Updated 4 months ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆135Updated 3 months ago
- an attempt to create a concise modern Haskell OpenGL boilerplate with basic IO☆156Updated last year