mstksg / advent-of-code-dev

Related projects: ⓘ

• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆21Updated 2 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated last year
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆57Updated 5 years ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆74Updated last year
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆64Updated 2 months ago
• isovector / type-sets
  type level sets
  ☆67Updated 4 years ago
• juhp / stack-clean-old
  Tool for cleaning away old Haskell Stack build artifacts
  ☆36Updated 9 months ago
• chiroptical / declarative-programming-streams
  Active streaming declarative programmers. See who's online at the following URL:
  ☆67Updated 10 months ago
• cdupont / Timeloop
  ☆40Updated 10 months ago
• mniip / discord-eval
  A discord frontend for an interactive interpreter bot
  ☆22Updated last year
• haskell / cabal-userguide
  A handy user guide for the Cabal build tool
  ☆28Updated 3 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆37Updated 2 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆71Updated 2 months ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆32Updated last week
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆36Updated 8 months ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 4 years ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated 2 months ago
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆51Updated 4 years ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆15Updated 5 months ago
• Bodigrim / cabal-add
  Extend Cabal build-depends from the command line
  ☆53Updated 3 weeks ago
• sdiehl / vim-ormolu
  Plugin for formatting Haskell source code
  ☆38Updated 3 years ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆44Updated last month
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects
  ☆44Updated this week