glguy / advent2020

Related projects: ⓘ

• chrisdone / prana
  Interpreter for GHC Haskell
  ☆22Updated 4 years ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• well-typed / visualize-cbn
  ☆97Updated last month
• isovector / type-sets
  type level sets
  ☆67Updated 4 years ago
• cdornan / fmt
  New formatting library
  ☆55Updated 2 years ago
• j-mie6 / ParsleyHaskell
  Reimplementation of Parsley in Haskell, with improvements
  ☆49Updated 6 months ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆74Updated last year
• bgamari / ghc-debug
  Moved to Haskell.org GitLab.
  ☆62Updated 4 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆64Updated 2 months ago
• mathandley / AutoBench
  ☆33Updated this week
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005
  ☆82Updated 3 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆55Updated 6 months ago
• yav / dump-core
  ☆45Updated 2 years ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆165Updated last week
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated last month
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆40Updated 3 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆121Updated last month
• fpco / ghc-prof-flamegraph
  ☆75Updated last year
• monadfix / jijo
  Bidirectional JSON serialization
  ☆40Updated 3 years ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated last month
• alanz / ghc-exactprint
  GHC version of haskell-src-exts exactPrint
  ☆69Updated last week
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆38Updated 2 months ago
• haskell-perf / graphs
  ☆39Updated 4 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated last month
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 3 months ago