Alternatives and similar repositories for tgdwyer.github.io

Users that are interested in tgdwyer.github.io are comparing it to the libraries listed below

• agda / cornelis
  agda-mode for neovim
  ☆176Updated 3 weeks ago
• phadej / cabal-fmt
  An experiment of formatting .cabal files
  ☆118Updated 10 months ago
• well-typed / haskell-debugger
  A modern step-through debugger for GHC Haskell
  ☆111Updated last week
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆153Updated 2 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated last month
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆51Updated last month
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆105Updated last month
• haskell / play-haskell
  Haskell Playground
  ☆157Updated 3 weeks ago
• chshersh / iris
  🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
  ☆199Updated 2 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆185Updated this week
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 3 years ago
• tfausak / witch
  Convert values from one type into another.
  ☆78Updated 3 weeks ago
• typedbyte / switch
  A library for interacting with Nintendo Switch controllers, written in Haskell.
  ☆111Updated 3 years ago
• tree-sitter / haskell-tree-sitter
  Haskell bindings for tree-sitter
  ☆173Updated last year
• haskell / error-messages
  ☆76Updated 3 years ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆184Updated last month
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆137Updated 2 years ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated 2 years ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 years ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆148Updated last month
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆57Updated 4 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆123Updated 3 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months ago
• haskell / actions
  Github actions for Haskell CI
  ☆145Updated 2 years ago
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆87Updated 2 weeks ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated last year
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆184Updated 3 weeks ago
• haskell-actions / setup
  Setting up GHC, cabal, stack on for Haskell-related CIs
  ☆84Updated 3 weeks ago
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆62Updated 4 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆38Updated 3 years ago