Alternatives and similar repositories for fp-companies-sh-hh

Users that are interested in fp-companies-sh-hh are comparing it to the libraries listed below

• striot / striot
  functional STReam processing for the IOT
  ☆29Updated 8 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 2 months ago
• tfausak / burrito
  Parse and render URI templates.
  ☆16Updated this week
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 9 months ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 9 months ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated last week
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 6 years ago
• google / ghc-source-gen
  Library for generating Haskell source files and code fragments.
  ☆99Updated 3 months ago
• rkaippully / webgear
  Moved to https://github.com/haskell-webgear/webgear
  ☆38Updated 4 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 6 years ago
• shin-sakata / Citrous
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Updated 5 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• jules-hedges / open-games
  Haskell implementation of open games
  ☆13Updated 9 years ago
• emilypi / order
  Order theory
  ☆25Updated 2 years ago
• berewt / UnionType
  UnionType in Idris
  ☆11Updated 7 years ago
• cohomolo-gy / optics-resources
  Resources for the aspiring optician
  ☆43Updated 5 years ago
• bindthegap / bindthegap.github.io
  Bind The Gap: FP digital magazine
  ☆21Updated 4 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• ybertot / plugin_tutorials
  A collection of small projects to illustrate how to write plugins for Coq
  ☆21Updated 6 years ago
• jhb563 / MazeGame
  ☆15Updated 6 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆60Updated last month
• pkamenarsky / concur-replica
  Server-side VDOM UI framework for Concur
  ☆138Updated 5 years ago
• VictorCMiraldo / generics-mrsop
  ☆21Updated 3 years ago
• Holmusk / elm-street
  Crossing the road between Haskell and Elm
  ☆90Updated last week
• nomeata / kaleidogen
  Grow procedual art
  ☆37Updated 8 months ago
• exercism / idris
  Exercism exercises in Idris.
  ☆35Updated 2 months ago
• plum-umd / cgc
  Constructive Galois connections
  ☆36Updated 7 years ago
• jkoppel / thermometer-continuations
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆23Updated last year
• gdevanla / pandoc-markdown-ghci-filter
  A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.
  ☆14Updated 6 years ago
• rocq-community / docker-coq-action
  GitHub Action using Docker-Coq [maintainers=@Zimmi48]
  ☆15Updated 8 months ago