nicholasphair

nicholasphair's Stars

• wincent/clipper

  ✂️ Clipboard access for local and remote tmux sessions

  Language:Go63630

• cruft/cruft

  Allows you to maintain all the necessary cruft for packaging and building projects separate from the code you intentionally write. Built on-top of, and fully compatible with, CookieCutter.

  Language:Python1.2k89

• cirruslabs/docker-images-flutter

  Docker Images for Flutter

  Language:Shell445140

• blanchette/logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Language:Lean8916

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.1k580

• eprover/PyRes

  Pedagogical first-order prover in Python

  Language:Python7016

• acmsigsoft/EmpiricalStandards

  Tools and standards for conducting and evaluating research in software engineering

  Language:JavaScript28959

• erikw/vim-keybindings-everywhere-the-ultimate-list

  The ultimate list of which programs support Vim-like keybindings natively, or how they can be added with extensions. A collaborative project.

  Language:Shell1.6k47

• rydmike/flex_color_scheme

  A Flutter package to make and use beautiful color scheme based themes.

  Language:Dart945105

• google/vim-codefmt

  Vim plugin for syntax-aware code formatting

  Language:Vim Script1.1k114

• wala/WALA

  T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

  Language:Java754221

• arzzen/git-quick-stats

  ▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.

  Language:Shell6.3k249

• pkgxdev/pkgx

  run anything

  Language:TypeScript8.9k1.4k

• wwkimball/yamlpath

  YAML/JSON/EYAML/Compatible get/set/merge/validate/scan/convert/diff processors using powerful, intuitive, command-line friendly syntax.

  Language:Python11821

• deja-vu-platform/deja-vu

  Build web apps from concepts

  Language:TypeScript352

• gitless-vcs/gitless

  A simple version control system built on top of Git

  Language:Python1.9k107

• rxhanson/Rectangle

  Move and resize windows on macOS with keyboard shortcuts and snap areas

  Language:Swift25.6k766

• Sceptre/sceptre-sam-handler

  A Sceptre template handler for AWS Serverless Application Model (SAM)

  Language:Python72

• remkop/picocli

  Picocli is a modern framework for building powerful, user-friendly, GraalVM-enabled command line apps with ease. It supports colors, autocompletion, subcommands, and more. In 1 source file so apps can include as source & avoid adding a dependency. Written in Java, usable from Groovy, Kotlin, Scala, etc.

  Language:Java4.9k421

• davatorium/rofi

  Rofi: A window switcher, application launcher and dmenu replacement

  Language:C13.1k608

• github-linguist/linguist

  Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

  Language:Ruby12.1k4.2k

• koekeishiya/skhd

  Simple hotkey daemon for macOS

  Language:C6.1k204

• ianyh/Amethyst

  Automatic tiling window manager for macOS à la xmonad.

  Language:Swift14.7k486

• google/oss-fuzz

  OSS-Fuzz - continuous fuzzing for open source software.

  Language:Shell10.3k2.2k

• koekeishiya/yabai

  A tiling window manager for macOS based on binary space partitioning

  Language:C23.2k641

• aws-powertools/powertools-lambda-java

  Powertools is a developer toolkit to implement Serverless best practices and increase developer velocity.

  Language:Java28587

• projen/projen

  Rapidly build modern applications with advanced configuration management

  Language:TypeScript2.6k368

• matthewbdwyer/tipc

  A compiler from TIP to llvm bitcode

  Language:C++6136

• aws-actions/configure-aws-credentials

  Configure AWS credential environment variables for use in other GitHub Actions.

  Language:TypeScript2.4k467

• hneemann/Digital

  A digital logic designer and circuit simulator.

  Language:Java4.3k436