ucsd-progsys / liquid-types-spacemacs

Related projects ⓘ

Alternatives and complementary repositories for liquid-types-spacemacs

• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• chrisdone-archive / present
  Make presentations for data types
  ☆25Updated 3 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 3 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 3 years ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 10 years ago
• haskell-perf / numbers
  Benchmarks for numbers: ints, doubles, bignums, rationals, etc.
  ☆20Updated 7 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• joom / fuzzy
  Fuzzy string search in Haskell
  ☆14Updated 10 months ago
• jtdaugherty / text-zipper
  A text editor zipper libary
  ☆17Updated last week
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 4 years ago
• well-typed / basic-sop
  Basic examples and functions for generics-sop
  ☆20Updated last year
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• gelisam / conway
  Demonstrating comonad transformers.
  ☆36Updated 8 years ago
• agentultra / DataVersion
  ☆20Updated last year
• benkolera / talk-opaleye
  Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09
  ☆11Updated 9 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• ChrisPenner / selections
  Haskell Package for operating with selections over an underlying functor
  ☆22Updated 4 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆31Updated 9 months ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• shachaf / ghc-core
  ☆39Updated 7 years ago
• bitemyapp / hedgehog-checkers
  Like the checkers library, but for hedgehog. Common stuff you'd want to check.
  ☆22Updated 6 years ago
• alexeyzab / cards-with-comrades
  ☆20Updated 6 years ago
• nfrisby / coxswain
  A GHC type checker plugin for row types
  ☆39Updated 7 years ago
• paf31 / partial
  A nullary type class for partial functions
  ☆15Updated 6 years ago