tweag / asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
☆1,968Updated 2 years ago
Alternatives and similar repositories for asterius:
Users that are interested in asterius are comparing it to the libraries listed below
- A tasty Haskell front-end framework☆2,235Updated this week
- Haskell to JavaScript compiler, based on GHC☆2,611Updated 2 years ago
- A Dependently Typed Functional Programming Language☆3,448Updated last month
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,862Updated this week
- Liquid Types For Haskell☆1,229Updated this week
- A dependently typed programming language, a successor to Idris☆899Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,035Updated last year
- A declarative, type-safe UI library for PureScript.☆1,551Updated 6 months ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,082Updated last week
- The engine for haskell ide-integration. Not an IDE☆2,374Updated 4 years ago
- higher-order, no-boilerplate monads☆1,041Updated last week
- A purely functional programming language with first class types☆2,621Updated last week
- Industrial-strength monadic parser combinator library☆939Updated last month
- Functional reactive web and mobile applications, with batteries included.☆988Updated this week
- Documentation for the PureScript language, compiler, and tools.☆1,042Updated 10 months ago
- Very low feature GHCi based IDE☆1,150Updated last year
- Koka language compiler and interpreter☆3,452Updated this week
- A declarative Unix terminal UI library written in Haskell☆1,624Updated last week
- Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)☆1,738Updated last month
- Agda is a dependently typed programming language / interactive theorem prover.☆2,599Updated last week
- Shell programming, Haskell style☆948Updated 9 months ago
- A formatter for Haskell source code☆987Updated last week
- A RESTful Haskell web framework built on WAI.☆2,663Updated last week
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,050Updated 2 weeks ago
- An introduction to programming language theory in Agda☆1,415Updated 2 weeks ago
- A functional programming language based on algebraic effect handlers☆868Updated 6 months ago
- The Haskell Tool Stack☆4,013Updated last week
- A standard library for Haskell☆848Updated 7 months ago
- What I Wish I Knew When Learning Haskell☆2,582Updated 3 years ago
- A GHC-based Haskell to JavaScript compiler☆1,442Updated 6 years ago