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 17.1k 1.5k

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

   C++ 1.1k 375

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

   Links: Linking Theory to Practice for the Web

   OCaml 346 46

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

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

   1.1k 92

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

   Examples to illustrate the use of algebraic effects in Multicore OCaml

   OCaml 448 35