takenobu-hs / WebAssembly-illustratedView external linksLinks
WebAssembly (Wasm) illustrated
☆95Nov 30, 2018Updated 7 years ago
Alternatives and similar repositories for WebAssembly-illustrated
Users that are interested in WebAssembly-illustrated are comparing it to the libraries listed below
Sorting:
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 5 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- UI experiments for coda☆66Sep 23, 2021Updated 4 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Sep 6, 2025Updated 5 months ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- ☆15Sep 28, 2022Updated 3 years ago
- ☆20Jul 3, 2023Updated 2 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Semantics for Cryptol