rmehri01 / thock

Related projects: ⓘ

• ChrisPenner / void-space
  Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
  ☆139Updated 4 years ago
• srid / rib
  Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
  ☆118Updated 2 years ago
• matthunz / shmonad
  A shell prompt with infinite customization
  ☆38Updated 3 months ago
• bitc / hs-term-emulator
  Terminal Emulator written in 100% Haskell
  ☆66Updated 2 years ago
• balsoft / lambda-launcher
  Application launcher in haskell. Mostly Just For Fun.
  ☆72Updated 2 years ago
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 3 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆78Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆45Updated last year
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆148Updated 3 months ago
• phoityne / haskell-debug-adapter
  Debug Adapter for Haskell debugging system.
  ☆53Updated 2 months ago
• phadej / cabal-fmt
  An experiment of formatting .cabal files
  ☆104Updated 3 months ago
• jonascarpay / calligraphy
  haskell source code visualizer
  ☆97Updated last year
• reflex-frp / reflex-vty
  Build terminal applications using functional reactive programming (FRP) with Reflex FRP.
  ☆140Updated 3 months ago
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆35Updated last week
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆47Updated last year
• rpearce / hakyll-nix-template
  Hakyll + Nix starter template
  ☆54Updated last week
• eviefp / dotfiles
  ☆11Updated this week
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆32Updated last week
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆56Updated last month
• tfausak / witch
  Convert values from one type into another.
  ☆74Updated last week
• obsidiansystems / nix-thunk
  seamless management of source dependencies with nix
  ☆37Updated 3 months ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆133Updated 3 years ago
• JonathanLorimer / nix-config
  My home manager config
  ☆16Updated 2 weeks ago
• monkoose / fzf-hoogle.vim
  (neo)vim plugin that uses fzf for previewing hoogle search results
  ☆41Updated 2 years ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆44Updated last month
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆87Updated 11 months ago
• wasp-lang / haskell-handbook
  Best practices on how to be efficient with Haskell in production
  ☆90Updated 2 months ago
• pasqu4le / clifm
  Command Line Interface File Manager
  ☆103Updated 4 years ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆165Updated last week
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated 9 months ago