diku-dk / su-guidesLinks
Guides and guidelines for software development course
☆20Updated 11 months ago
Alternatives and similar repositories for su-guides
Users that are interested in su-guides are comparing it to the libraries listed below
Sorting:
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆143Updated last year
- Public repository for Advanced Programming☆60Updated 2 months ago
- A better version of KU's course catalogue☆21Updated 4 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆284Updated 4 months ago
- Public repository for Advanced Programming☆59Updated last year
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated 2 months ago
- The collected works of F. W. Lawvere☆371Updated last year
- DIKU Support Tools for Canvas LMS☆14Updated last year
- Public repository for HPPS 2022☆21Updated 3 years ago
- Clustering notions for the knowledge LaTeX package☆20Updated 3 weeks ago
- Notes for first year Computing at Imperial College London☆54Updated 3 years ago
- An introduction to programming language theory in Agda☆1,487Updated last week
- The agda-unimath library☆283Updated 2 weeks ago
- Points for Free: Embedding Pointful Array Programming in Python☆20Updated last year
- Browser extension for VVZ (ETHZ)☆13Updated last month
- A proof assistant for higher-dimensional type theory☆229Updated 5 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆418Updated this week
- Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)☆37Updated 3 months ago
- HoTTEST Summer School materials☆322Updated 7 months ago
- Type Theory☆29Updated 9 years ago
- A formal logic framework that runs in the browser☆323Updated last year
- Dafny is a verification-aware programming language☆3,280Updated last month
- Neovim support for the Lean theorem prover☆463Updated last week
- Place for editing the data backing ashtadhyayi.com☆12Updated 3 weeks ago
- agda-mode for neovim☆175Updated last week
- Course website for Data Parallel Programming at DIKU☆14Updated last year
- Repository for the DPP'23 course☆11Updated last year
- Course materials for Chalmers TPIL25 class☆15Updated 11 months ago
- ☆171Updated 10 years ago
- Minimal implementations for dependent type checking and elaboration☆762Updated 3 weeks ago