karsl

karsl's Stars

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k193

• Sairyss/domain-driven-hexagon

  Learn Domain-Driven Design, software architecture, design patterns, best practices. Code examples included

  Language:TypeScript12k1.2k

• timbertson/gnome-shell-scroll-workspaces

  Switch workspaces by scrolling in the top panel

  Language:Python7124

• vladimiry/ElectronMail

  Unofficial ProtonMail Desktop App

  Language:TypeScript1.5k96

• haskell/haskell-language-server

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

  Language:Haskell2.6k355

• ohmyzsh/ohmyzsh

  🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.

  Language:Shell173k25.8k

• haskell/parsec

  A monadic parser combinator library

  Language:Haskell84395

• pcapriotti/optparse-applicative

  Applicative option parser

  Language:Haskell910115

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k211

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.1k117

• spaceship-prompt/spaceship-prompt

  :rocket::star: Minimalistic, powerful and extremely customizable Zsh prompt

  Language:Shell19.4k955

• doomemacs/doomemacs

  An Emacs framework for the stubborn martian hacker

  Language:Emacs Lisp19.2k3k

• iluwatar/java-design-patterns

  Design patterns implemented in Java

  Language:Java89.4k26.4k