Alternatives and similar repositories for asterius:

Users that are interested in asterius are comparing it to the libraries listed below

• dmjio / miso
  A tasty Haskell front-end framework
  ☆2,235Updated this week
• ghcjs / ghcjs
  Haskell to JavaScript compiler, based on GHC
  ☆2,611Updated 2 years ago
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,448Updated last month
• haskell-servant / servant
  Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
  ☆1,862Updated this week
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,229Updated this week
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,035Updated last year
• purescript-halogen / purescript-halogen
  A declarative, type-safe UI library for PureScript.
  ☆1,551Updated 6 months ago
• reflex-frp / reflex
  Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…
  ☆1,082Updated last week
• haskell / haskell-ide-engine
  The engine for haskell ide-integration. Not an IDE
  ☆2,374Updated 4 years ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,041Updated last week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,621Updated last week
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆939Updated last month
• obsidiansystems / obelisk
  Functional reactive web and mobile applications, with batteries included.
  ☆988Updated this week
• purescript / documentation
  Documentation for the PureScript language, compiler, and tools.
  ☆1,042Updated 10 months ago
• ndmitchell / ghcid
  Very low feature GHCi based IDE
  ☆1,150Updated last year
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,452Updated this week
• jtdaugherty / brick
  A declarative Unix terminal UI library written in Haskell
  ☆1,624Updated last week
• scotty-web / scotty
  Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
  ☆1,738Updated last month
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,599Updated last week
• Gabriella439 / turtle
  Shell programming, Haskell style
  ☆948Updated 9 months ago
• tweag / ormolu
  A formatter for Haskell source code
  ☆987Updated last week
• yesodweb / yesod
  A RESTful Haskell web framework built on WAI.
  ☆2,663Updated last week
• ekmett / lens
  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
  ☆2,050Updated 2 weeks ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,415Updated 2 weeks ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆868Updated 6 months ago
• commercialhaskell / stack
  The Haskell Tool Stack
  ☆4,013Updated last week
• commercialhaskell / rio
  A standard library for Haskell
  ☆848Updated 7 months ago
• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,582Updated 3 years ago
• valderman / haste-compiler
  A GHC-based Haskell to JavaScript compiler
  ☆1,442Updated 6 years ago