Pinned

1. adiar adiar Public

   An I/O-efficient implementation of (Binary) Decision Diagrams

   C++ 20 13

2. wordrow wordrow Public

   A modern version of Text Twist

   TypeScript 6 4

3. bdd-benchmark bdd-benchmark Public

   Benchmarking Suite for BDD packages

   C++ 11 2

4. mlightdp mlightdp Public

   An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving

   OCaml 3

5. latex-preamble-and-examples latex-preamble-and-examples Public

   A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples

   TeX 22 7

6. interaction-design-in-a-nutshell interaction-design-in-a-nutshell Public

   A dense, clearly defined, and small guide to interaction design

   TeX 12 1