diku-dk / howtoLinks
How do I DIKU? How indeed.
☆26Updated last month
Alternatives and similar repositories for howto
Users that are interested in howto are comparing it to the libraries listed below
Sorting:
- PMPH course 2020 public repo☆12Updated last year
- Public repository for Advanced Programming☆57Updated 4 months ago
- Parallel Functional Programming, 2020☆16Updated last year
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- DIKU Support Tools for Canvas LMS☆14Updated 8 months ago
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- Datatypes as quotients of polynomial functors☆35Updated 5 years ago
- ☆43Updated 3 years ago
- Data Parallel Programming☆22Updated last year
- A better version of KU's course catalogue☆19Updated 2 weeks ago
- ☆34Updated 7 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 6 months ago
- An experimental category theory library for Lean☆51Updated last year
- ☆16Updated last year
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Emacs mode for Lean☆69Updated last year
- A verified tensor library in Lean☆24Updated last week
- ☆19Updated 4 months ago
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 7 months ago
- Linear algebra package for Futhark☆17Updated 4 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- A tutorial on how Agda infers things☆42Updated 4 years ago
- The Iowa Agda Library☆47Updated 6 months ago
- A work-in-progress core language for Agda, in Agda☆52Updated last month
- ☆85Updated last month
- ☆24Updated last year
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Python library using the Futhark C backend via CFFI☆24Updated 2 years ago