diku-dk / howtoLinks
How do I DIKU? How indeed.
☆26Updated last week
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 5 months ago
- A better version of KU's course catalogue☆19Updated last month
- fairly limited x86 to x86' translator☆19Updated 2 years ago
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- ☆19Updated 5 months ago
- Tutorial for using the MPL compiler for Parallel ML☆21Updated 5 months ago
- Call Futhark programs from Standard ML☆10Updated last month
- PhD course on Functional Programming and Climate Impact Research☆50Updated 7 months ago
- A monadic library for symbolic evaluation☆67Updated 2 weeks ago
- Data Parallel Programming☆22Updated last year
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Updated last year
- HTTP utility library for Standard ML☆11Updated last year
- Git repository containing the Futhark website.☆10Updated 2 weeks ago
- Repository for the DPP'23 course☆11Updated last year
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆25Updated this week
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Updated 8 years ago
- Parallel ML benchmark suite☆17Updated 2 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- 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
- Python library using the Futhark C backend via CFFI☆25Updated 2 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- A Haskell probabilistic programming library.☆19Updated last month
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated 4 months ago
- Library classes for the Twelf Proof System☆22Updated 5 years ago
- Revised Omega-categorical Typechecker☆26Updated 7 months ago
- Effective Algebraic Topology in Haskell☆91Updated 9 months ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- Course website for Data Parallel Programming at DIKU☆12Updated 6 months ago