ntc2

ntc2's Stars

• wting/autojump

  A cd command that learns - easily navigate directories from the command line

  Language:Python16.2k173499705

• eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  Language:Python10.2k127234702

• soimort/translate-shell

  :speech_balloon: Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.

  Language:Awk7k145452393

• magit/magit

  It's Magit! A Git Porcelain inside Emacs.

  Language:Emacs Lisp6.6k1483k820

• tridactyl/tridactyl

  A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

  Language:TypeScript5.3k622.2k401

• dear-github/dear-github

  :incoming_envelope: An open letter to GitHub from the maintainers of open source projects

  5.2k98342125

• commercialhaskell/stack

  The Haskell Tool Stack

  Language:Haskell4k1004.3k844

• emacs-helm/helm

  Emacs incremental completion and selection narrowing framework

  Language:Emacs Lisp3.4k942k389

• fregante/GhostText

  👻 Use your text editor to write in your browser. Everything you type in the editor will be instantly updated in the browser (and vice versa).

  Language:JavaScript3.3k37239115

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k512.2k367

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k89967210

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k122634361

• jacktasia/dumb-jump

  an Emacs "jump to definition" package for 50+ languages

  Language:Emacs Lisp1.6k24232151

• baskerville/plato

  Document reader

  Language:Rust1.3k28294109

• DanielG/ghc-mod

  Happy Haskell Hacking for editors. DEPRECATED

  Language:Haskell67735600175

• Kilian/f.lux-indicator-applet

  This repository is unmaintained. Visit:

  Language:Python549386393

• darvin/plato

  Document reader

  Language:Rust12011910

• commercialhaskell/stack-ide

  Stack-based JSON interface to ide-backend

  Language:Emacs Lisp98336723

• Gekkio/gnome-session-xmonad

  Ubuntu package for Gnome + XMonad session files

  Language:Shell9861510

• warvariuc/acdcontrol

  Apple Cinema Display Control Utility for Linux -- clone of upstream with some minor updates

  Language:C++634021

• yav/pretty-show

  Tools for working with derived Show instances in Haskell.

  Language:Haskell5673315

• dvilelaf/NordIndicator

  A simple GNU/Linux app indicator for your NordVPN connection.

  Language:Python27493

• padsproj/pads-haskell

  Haskell binding for PADS

  Language:Haskell18787

• amosr/limp

  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming

  Language:Haskell16435

• leodemoura/lean

  Lean Theorem Prover

  Language:C++14502

• ntc2/conf

  Linux configuration files

  Language:Emacs Lisp13211

• glguy/ssh-hans

  Language:Haskell12518

• amosr/limp-cbc

  Coin-OR/CBC bindings for Haskell

  Language:C++11363

• NHellFire/f.lux-indicator-applet

  Better lighting for Ubuntu

  Language:Python10701

• micro-policies/verified-ifc

  Coq formalization accompanying the paper: A Verified Information-Flow Architecture

  Language:Coq41101