SPY / haskell-wasm

Related projects ⓘ

Alternatives and complementary repositories for haskell-wasm

• tweag / capability
  Extensional capabilities and deriving combinators
  ☆213Updated 4 months ago
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆160Updated 2 months ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆287Updated 3 weeks ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆84Updated 6 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆119Updated 2 years ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• serokell / universum
  Prelude written in @Serokell
  ☆177Updated last month
• nikita-volkov / jsonifier
  Fast and simple JSON encoding toolkit
  ☆83Updated 11 months ago
• haskell / stm
  Software Transactional Memory
  ☆98Updated last week
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆223Updated 3 years ago
• lettier / webviewhs
  🌐 A Haskell binding to the webview library created by Serge Zaitsev.
  ☆125Updated 3 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆119Updated 2 months ago
• digital-asset / ghc-lib
  The GHC API, decoupled from GHC versions
  ☆161Updated 2 weeks ago
• purescript-contrib / purescript-parsing
  A parser combinator library based on Parsec
  ☆150Updated last month
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated 10 months ago
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆151Updated last month
• elba / elba
  A package manager for Idris
  ☆190Updated 4 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆212Updated last year
• nikita-volkov / refined
  Refinement types with static checking
  ☆182Updated this week
• ndmitchell / record-dot-preprocessor
  A preprocessor for a Haskell record syntax using dot
  ☆129Updated 10 months ago
• ivanperez-keera / dunai
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆211Updated last week
• NorfairKing / validity
  Validity and validity-based testing
  ☆156Updated last month
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆163Updated 7 months ago
• MaybeJustJames / zephyr
  Tree shaking breeze for PureScript CoreFn AST
  ☆159Updated last year
• effectfully-ou / sketches
  A Haskell blog
  ☆126Updated 4 months ago
• ajnsit / purescript-companies
  Community curated list of companies that use Purescript
  ☆137Updated 10 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆149Updated last week
• WebGHC / wasm-cross
  Nix expressions for cross compiling to WebAssembly
  ☆141Updated 4 years ago
• kowainik / tomland
  🏝 Bidirectional TOML serialization
  ☆122Updated 5 months ago