Pinned Loading

1. phd-dissertation phd-dissertation Public

   A summary of my activities during the past four years

   TeX 31

2. bytecodealliance/wasmtime bytecodealliance/wasmtime Public

   A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

   Rust 18.8k 1.9k

3. category-labs/monad category-labs/monad Public

   C++ 1.2k 441

4. links-lang/links links-lang/links Public

   Links: Linking Theory to Practice for the Web

   OCaml 362 46

5. yallop/effects-bibliography yallop/effects-bibliography Public

   A collaborative bibliography of work related to the theory and practice of computational effects

   1.2k 94

6. ocaml-multicore/effects-examples ocaml-multicore/effects-examples Public

   Examples to illustrate the use of algebraic effects in Multicore OCaml

   OCaml 454 36