SPY / haskell-wasm
Haskell WebAssembly Toolkit
☆153Updated 2 months ago
Alternatives and similar repositories for haskell-wasm:
Users that are interested in haskell-wasm are comparing it to the libraries listed below
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 6 years ago
- Composable, streaming, and efficient left folds☆166Updated 2 months ago
- Extensional capabilities and deriving combinators☆214Updated 8 months ago
- A parser combinator library based on Parsec☆153Updated 2 weeks ago
- GRIN backend for GHC☆144Updated 3 years ago
- Fake dependent types in Haskell using singletons☆290Updated 2 weeks ago
- A package manager for Idris☆188Updated 4 years ago
- A structured concurrency library☆86Updated 3 weeks ago
- Server-side VDOM UI framework for Concur☆139Updated 4 years ago
- Fast and concise extensible effects☆108Updated last year
- Software Transactional Memory☆102Updated 4 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- Higher-kinded data via generics☆170Updated 7 months ago
- Show Haskell type annotations when doing code review on Github☆142Updated 4 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆196Updated 3 years ago
- Prelude written in @Serokell☆180Updated 2 months ago
- Fast and simple JSON encoding toolkit☆82Updated last year
- Use snippets of Rust inline in your Haskell programs☆226Updated 3 years ago
- 🌐 A Haskell binding to the webview library created by Serge Zaitsev.☆126Updated 3 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- JavaScript interface that works with GHCJS or GHC☆122Updated 4 months ago
- An extensible-effects implementation☆160Updated 2 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 2 months ago
- Refinement types with static checking☆186Updated 3 months ago
- A structured logging framework for Haskell☆207Updated last month
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- The Disco Discus Compiler☆174Updated 6 years ago
- Nix expressions for cross compiling to WebAssembly☆141Updated 4 years ago