Beast code in Giters

Sam Lindley's repositories

Language:Haskell80 190

Language:Haskell34 7 1

Language:Agda1 40

Work related to algebraic effects and handlers

100

Language:Agda1 30

A comparison of how computational effects and handlers are implemented in various programming languages.

Language:ShellMIT000

Language:HTML020

Links: Linking Theory to Practice for the Web

Language:OCamlNOASSERTION010

Concurrency in OCaml based on promises.

Language:OCaml020

Proposal for allowing modules to define, import and export modules and instances

Language:WebAssemblyNOASSERTION000

A repository for the stack switching proposal.

Language:WebAssemblyNOASSERTION010

Tyde 2016 homepage

Language:HTML000

WebAssembly meetings (VC or in-person), agendas, and notes

Language:HTML000