Pinned Loading

1. WasmCert/WasmCert-Isabelle WasmCert/WasmCert-Isabelle Public

   A mechanisation of Wasm in Isabelle.

   Isabelle 31 5

2. yampa-wasm-example yampa-wasm-example Public

   Example of using Yampa and GHC Wasm backend to create a simple web app.

   Haskell 19 1

3. blue-rectangle blue-rectangle Public

   Haskell 2D platformer using Dunai, Bearriver and SDL2

   Haskell 6

4. SpaceInvaders SpaceInvaders Public

   Forked from ivanperez-keera/SpaceInvaders

   A Haskell game written in Yampa, ported to Wasm

   Haskell 6 1