stefanradziuk

stefanradziuk's Stars

• ada-url/ada

  WHATWG-compliant and fast URL parser written in modern C++

  Language:C++1.3k80

• tomnomnom/gron

  Make JSON greppable!

  Language:Go13.7k327

• EmNudge/watlings

  Learn WebAssembly by writing small programs!

  Language:JavaScript1.6k41

• HypothesisWorks/hypothesis

  Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

  Language:Python7.4k578

• immich-app/immich

  High performance self-hosted photo and video management solution.

  Language:TypeScript41.1k2k

• mshumer/gpt-prompt-engineer

  Language:Jupyter Notebook9.1k636

• stedolan/counterexamples

  Counterexamples in Type Systems

  Language:JavaScript36123

• zellij-org/zellij

  A terminal workspace with batteries included

  Language:Rust19.9k623

• Genymobile/scrcpy

  Display and control your Android device

  Language:C107k10.3k

• coq-community/coq-nix-toolbox

  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

  Language:Nix329

• petykowski/London-Underground-Dot-Matrix-Typeface

  A set of dot matrix fonts in the style of TfL's Underground arrivals board.

  1.5k19

• satwikkansal/wtfpython

  What the f*ck Python? 😱

  Language:Python35.5k2.6k

• bytecodealliance/wasm-tools

  CLI and Rust libraries for low-level manipulation of WebAssembly modules

  Language:Rust1.2k227

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.8k225

• risicle/nix-heuristic-gc

  A more discerning cousin of nix-collect-garbage

  Language:Python581

• coq-community/coq-tricks

  Tricks you wish the Coq manual told you [maintainer=@tchajed]

  Language:Coq48721

• 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.5k46

• dylanaraps/pure-sh-bible

  📖 A collection of pure POSIX sh alternatives to external processes.

  Language:Shell6.4k276

• zaboople/klonk

  A text editor with an sort-of-unusual undo/redo algorithm

  Language:Java2188

• airblade/vim-gitgutter

  A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks.

  Language:Vim Script8.3k296

• starship/starship

  ☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

  Language:Rust43.5k1.9k

• aristocratos/btop

  A monitor of resources

  Language:C++18.5k587

• ajeetdsouza/zoxide

  A smarter cd command. Supports all major shells.

  Language:Rust20.8k523

• ublue-os/fleek

  [deprecated] Own your $HOME

  Language:Go83526

• Wasm-DSL/spectec

  Wasm SpecTec specification tools

  Language:WebAssembly258

• WebAssembly/spec

  WebAssembly specification, reference interpreter, and test suite.

  Language:WebAssembly3.1k439

• FedeDP/Clight

  A C daemon that turns your webcam into a light sensor. It will adjust screen backlight based on ambient brightness.

  Language:C71227

• davidhi7/ddcci-plasmoid

  KDE Plasma widget to adjust the brightness of multiple external monitors

  Language:Python39011

• VonHeikemen/lsp-zero.nvim

  A starting point to setup some lsp related features in neovim.

  Language:Lua3.7k94

• nix-community/haumea

  Filesystem-based module system for Nix [maintainer=@figsoda]

  Language:Nix2704