diku-dk / howto
How do I DIKU? How indeed.
☆25Updated 2 weeks ago
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
- Parallel Functional Programming, 2020☆16Updated last year
- Public repository for Advanced Programming☆57Updated 3 months ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- Tutorial for using the MPL compiler for Parallel ML☆19Updated 4 months ago
- Web server infrastructure for Standard ML☆13Updated last year
- HTTP utility library for Standard ML☆11Updated last year
- Algebraic Combinatorics in Coq☆38Updated 3 months ago
- Data Parallel Programming☆22Updated last year
- being the materials for Summer 2013's course☆112Updated 2 years ago
- Call Futhark programs from Standard ML☆10Updated 8 months ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 6 months ago
- A monadic library for symbolic evaluation☆60Updated last week
- A better version of KU's course catalogue☆19Updated 3 weeks ago
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- ☆18Updated 3 months ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- Effective Algebraic Topology in Haskell☆90Updated 8 months ago
- Benchmarks for capture-avoiding substitution☆113Updated this week
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- The Iowa Agda Library☆47Updated 5 months ago
- A work-in-progress core language for Agda, in Agda☆52Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- DIKU Support Tools for Canvas LMS☆14Updated 8 months ago
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆21Updated last year
- A repository for material from the reading group on NbE☆17Updated last year
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 8 months ago