SPY / haskell-wasm
Haskell WebAssembly Toolkit
☆151Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-wasm
- GRIN backend for GHC☆143Updated 3 years ago
- Extensional capabilities and deriving combinators☆214Updated 4 months ago
- Prelude written in @Serokell☆176Updated 3 weeks ago
- WebAssembly Code Generation Backend for Idris Compiler☆84Updated 6 years ago
- ⚡️Efficient implementation of Map with types as keys☆100Updated 9 months ago
- Composable, streaming, and efficient left folds☆160Updated 2 months ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆202Updated 6 months ago
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆210Updated this week
- A package manager for Idris☆190Updated 4 years ago
- Software Transactional Memory☆98Updated 3 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Use snippets of Rust inline in your Haskell programs☆223Updated 3 years ago
- The GHC API, decoupled from GHC versions☆161Updated this week
- Server-side VDOM UI framework for Concur☆139Updated 4 years ago
- 🏝 Bidirectional TOML serialization☆122Updated 5 months ago
- A parser combinator library based on Parsec☆150Updated 3 weeks ago
- A preprocessor for a Haskell record syntax using dot☆129Updated 9 months ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Show Haskell type annotations when doing code review on Github☆142Updated 3 years ago
- JavaScript interface that works with GHCJS or GHC☆118Updated last week
- Fake dependent types in Haskell using singletons☆287Updated last week
- Documentation for Concur☆66Updated 5 months ago
- A simple Purescript JSON library that uses types automatically☆134Updated last year
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆194Updated 3 years ago
- Haskell library for debugging☆122Updated 5 years ago
- Cap'n Proto for Haskell☆93Updated last year
- Higher-kinded data via generics☆170Updated 2 months ago
- Nix expressions for cross compiling to WebAssembly☆139Updated 4 years ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆76Updated 6 months ago
- A Haskell library for open records and variants using closed type families and type literals☆111Updated 2 years ago