korayal

korayal's Stars

• emacs-lsp/lsp-ui

  UI integrations for lsp-mode

  Language:Emacs Lisp1k140

• 200ok-ch/organice

  An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

  Language:JavaScript2.4k149

• MaxOw/RuneSlayer

  RPG languages learning tool

  Language:Haskell381

• smallhadroncollider/taskell

  Command-line Kanban board/task manager with support for Trello boards and GitHub projects

  Language:Haskell1.7k72

• tealdeer-rs/tealdeer

  A very fast implementation of tldr in Rust.

  Language:Rust4.1k123

• hasktorch/hasktorch

  Tensors and neural networks in Haskell

  Language:Haskell1.1k105

• slovnicki/pLam

  An interpreter for learning and exploring pure λ-calculus

  Language:Haskell44817

• thomashoneyman/purescript-halogen-formless

  Forms for Halogen

  Language:PureScript13832

• tzemanovic/haskell-yesod-realworld-example-app

  Exemplary real world application built with Haskell + Yesod

  Language:Haskell16626

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript78885

• JordanMartinez/purescript-jordans-reference

  Learn PureScript with this "clone and play" repository

  Language:PureScript58573

• tweag/ormolu

  A formatter for Haskell source code

  Language:Haskell95483

• infinisil/all-hies

  Cached Haskell IDE Engine Nix builds for all GHC versions

  Language:Nix19315

• mobile-shell/mosh

  Mobile Shell

  Language:C++12.6k729

• oh-my-fish/oh-my-fish

  The Fish Shell Framework

  Language:Shell10.4k808

• oh-my-fish/theme-bobthefish

  A Powerline-style, Git-aware fish theme optimized for awesome.

  Language:Shell1.5k225

• alexwl/haskell-code-explorer

  Web application for exploring and understanding Haskell codebases

  Language:Haskell51020

• cachix/cachix

  Command line client for Nix binary cache hosting:

  Language:Haskell82845

• ennocramer/floskell

  Floskell is a flexible Haskell source code pretty printer.

  Language:Haskell17822

• domenkozar/hie-nix

  Nix packages for Haskell IDE Engine

  Language:Nix11518

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust21.7k349

• sharkdp/bat

  A cat(1) clone with wings.

  Language:Rust49k1.2k

• mihaimaruseac/hindent

  Haskell pretty printer

  Language:Haskell561113

• lspitzner/brittany

  haskell source code formatter

  Language:Haskell68972

• grin-compiler/grin

  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

  Language:Haskell1k36

• swaywm/sway

  i3-compatible Wayland compositor

  Language:C14.5k1.1k

• miyakogi/pyppeteer

  Headless chrome/chromium automation library (unofficial port of puppeteer)

  Language:Python3.6k372

• Kungsgeten/org-brain

  Org-mode wiki + concept-mapping

  Language:Emacs Lisp1.7k103

• mps-youtube/yewtube

  yewtube, forked from mps-youtube , is a Terminal based YouTube player and downloader. No Youtube API key required.

  Language:Python8.1k646

• ImageOptim/gifski

  GIF encoder based on libimagequant (pngquant). Squeezes maximum possible quality from the awful GIF format.

  Language:Rust4.7k140