fsprojects / FSharpPlus

Related projects ⓘ

Alternatives and complementary repositories for FSharpPlus

• haskell / vscode-haskell
  VS Code extension for Haskell, powered by haskell-language-server
  ☆560Updated this week
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆919Updated last month
• JordanMartinez / purescript-jordans-reference
  Learn PureScript with this "clone and play" repository
  ☆589Updated 11 months ago
• andyarvanitis / purescript-native
  A native compiler backend for PureScript (via C++ or Golang)
  ☆632Updated last year
• hedgehogqa / haskell-hedgehog
  Release with confidence, state-of-the-art property testing for Haskell.
  ☆677Updated 2 months ago
• commercialhaskell / rio
  A standard library for Haskell
  ☆843Updated 3 months ago
• joaomilho / awesome-idris
  𝛌 Awesome Idris resources
  ☆390Updated 4 years ago
• thomashoneyman / purescript-halogen-realworld
  Exemplary real world application built with PureScript + Halogen
  ☆793Updated 7 months ago
• valderman / selda
  A type-safe, high-level SQL library for Haskell
  ☆477Updated 5 months ago
• haskelly-dev / Haskelly
  Haskelly is a VS Code extension that provides complete support for casual and expert Haskell development.
  ☆152Updated last year
• ollef / sixten
  Functional programming with fewer indirections
  ☆761Updated 4 years ago
• rainbyte / haskell-ide-chart
  Haskell state of editor/IDE support
  ☆249Updated 3 years ago
• haskell-beam / beam
  A type-safe, non-TH Haskell SQL library and ORM
  ☆577Updated this week
• purescript / spago
  🍝 PureScript package manager and build tool
  ☆791Updated 2 weeks ago
• reflex-frp / reflex
  Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…
  ☆1,069Updated last week
• citizennet / purescript-httpure
  A web framework written in PureScript.
  ☆183Updated 2 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆902Updated 4 years ago
• edwinb / TypeDD-Samples
  Sample code from "Type Driven Development with Idris"
  ☆162Updated 7 years ago
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆452Updated 5 years ago
• chrisdone-archive / intero
  ☆1,011Updated 4 years ago
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆700Updated last month
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,030Updated last year
• haskell / aeson
  A fast Haskell JSON library
  ☆1,255Updated 3 months ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆334Updated this week
• tweag / ormolu
  A formatter for Haskell source code
  ☆964Updated last week
• snowleopard / alga
  Algebraic graphs
  ☆719Updated 6 months ago
• fjvallarino / monomer
  An easy to use, cross platform, GUI library for writing Haskell applications.
  ☆596Updated 6 months ago
• edwinb / Blodwen
  A prototype successor to Idris
  ☆539Updated 5 years ago
• ghc-proposals / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆685Updated 2 months ago
• sol / hpack
  hpack: A modern format for Haskell packages
  ☆624Updated 3 months ago
• ndmitchell / ghcid
  Very low feature GHCi based IDE
  ☆1,134Updated 8 months ago