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

• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 8 months ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 5 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated last week
• tfausak / burrito
  Parse and render URI templates.
  ☆16Updated 3 weeks ago
• 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
• jkoppel / thermometer-continuations
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆23Updated last year
• L-TChen / MtacAR
  Mtac in Agda
  ☆28Updated 4 years ago
• cau-placc / inversion-plugin
  ☆10Updated 2 weeks ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• VictorCMiraldo / generics-mrsop
  ☆21Updated 3 years ago
• JorisCeulemans / sikkel
  Multimode simple type theory as an Agda library.
  ☆23Updated last year
• VictorCMiraldo / lw2019-generics-workshop
  Contains exercises for the workshop in generic programming at Lambda World 2019
  ☆10Updated 6 years ago
• wenkokke / msla2014
  wherein I implement several substructural logics in Agda
  ☆24Updated 7 years ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆40Updated 5 years ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆29Updated 5 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 6 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated last month
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆60Updated 3 weeks ago
• isovector / functional-design-patterns
  could it be?
  ☆18Updated 4 months ago
• gmalecha / template-coq
  Reflection library for Coq
  ☆12Updated 6 years ago
• berewt / UnionType
  UnionType in Idris
  ☆11Updated 7 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• banacorn / agda-mode
  agda-mode on Atom
  ☆58Updated 4 years ago
• nmvdw / Three-HITs
  All higher inductive types can be obtained from three simple HITs.
  ☆17Updated 7 years ago
• ybertot / plugin_tutorials
  A collection of small projects to illustrate how to write plugins for Coq
  ☆21Updated 6 years ago
• DSLsofMath / FLABloM
  Functional Linear Algebra with Block Matrices
  ☆11Updated 3 years ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆57Updated 6 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆73Updated 6 years ago