Pinned Loading

1. instant-curry instant-curry Public

   Helpful proof assistant and autograder

   OCaml

2. minpairs minpairs Public

   HTML

3. adapted-speaker adapted-speaker Public

   C

4. packer-plugin-incus packer-plugin-incus Public

   Forked from bketelsen/packer-plugin-incus

   Packer plugin for Incus Builder

   Go

5. HtC HtC Public

   How to Code: Simple Data and Complex Data courses on edX

   Racket 1

6. PL PL Public

   Coursera Programming Languages

   Standard ML