diku-compSys / compSys-e2021-pubLinks
Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
☆20Updated 4 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
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆32Updated 5 years ago
- Agda interaction in vim☆136Updated 4 years ago
- A better version of KU's course catalogue☆21Updated 4 months ago
- Course website for Data Parallel Programming at DIKU☆15Updated last year
- agda-mode for neovim☆176Updated 2 weeks ago
- ☆19Updated last year
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆142Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆42Updated 3 years ago
- ☆11Updated 5 years ago
- Public repository for the HPPS course☆17Updated 4 years ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Updated 10 months ago
- Public repository for Advanced Programming☆59Updated last year
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆137Updated 4 months ago
- Interactive Coq Proofs in Vim☆312Updated 2 months ago
- A programming language supporting most of both declarative and imperative programming☆52Updated last week
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 10 months ago
- Data frames for Idris 2☆23Updated 3 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- fairly limited x86 to x86' translator☆19Updated 3 years ago
- Total Parser Combinators in Agda☆133Updated 6 months ago
- Slides and handwritten notes on the course on models of programming languages☆53Updated 5 years ago
- a proof-of-concept programming language based on call-by-push-value☆61Updated 2 weeks ago
- Tutorial for using the MPL compiler for Parallel ML☆23Updated last year
- a Coq toolkit for graph theory☆14Updated 5 years ago
- ☆22Updated 3 years ago
- The agda-unimath library☆283Updated this week
- Debug Adapter for Haskell debugging system.☆62Updated 4 months ago
- The Haskell LaTeX library.☆199Updated 2 years ago