Pinned Loading

1. gradual-typing gradual-typing Public

   an implementation of gradual typing in mit-scheme

   Scheme 9

2. khayyam.me khayyam.me Public

   personal site built with hugo

   HTML 1 1

3. server server Public

   traefik + Docker in Jenkins in Docker

   Dockerfile 1

4. advent-of-code advent-of-code Public

   advent of code, code challenges throughout december

   Rust 4

5. explicit-lang-type-inference-engine explicit-lang-type-inference-engine Public

   implementation of hindley-milner type inference

   OCaml 1

6. aws-k3s-lightsail aws-k3s-lightsail Public

   HCL 3