Pinned Loading

1. Agda-zh/PLFA-zh Agda-zh/PLFA-zh Public

   《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

   Haskell 209 22

2. nuscr/nuscr nuscr/nuscr Public

   A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

   OCaml 28 13

3. angery-io/angery-bot angery-io/angery-bot Public

   All your angery are belong to us

   Python 6

4. sessionstar/oopsla20-artifact sessionstar/oopsla20-artifact Public

   Artifact for "Statically Verified Refinements for Multiparty Protocols" (Accepted by OOPSLA '20)

   F* 5

5. advent-of-code-ocaml-starter advent-of-code-ocaml-starter Public template

   Starter code for doing Advent of Code in OCaml

   OCaml 8

6. factorio-nuclear-power factorio-nuclear-power Public

   A simple calculator for factorio power plant

   TypeScript 9 1