8000 stefanradziuk (Stefan Radziuk) / Starred Β· GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View stefanradziuk's full-sized avatar
:shipit:
:shipit:

Organizations

@icdocsoc @ic-pcg @ComPathIC

Block or report stefanradziuk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

macOS menu bar app that shows how full the International Space Station's urine tank is in real time

Swift 1,203 24 10000 Updated May 5, 2025

WHATWG-compliant and fast URL parser written in modern C++, part of Node.js, Clickhouse, Redpanda, Kong, Telegram, Datadog and Cloudflare Workers.

C++ 1,528 101 Updated May 3, 2025

Make JSON greppable!

Go 14,071 330 Updated Nov 29, 2024

Learn WebAssembly by writing small programs!

JavaScript 1,642 44 Updated Mar 18, 2024

The property-based testing library for Python

Python 7,831 601 Updated May 7, 2025

High performance self-hosted photo and video management solution.

TypeScript 65,392 3,444 Updated May 8, 2025
Jupyter Notebook 9,523 670 Updated Apr 23, 2025

Counterexamples in Type Systems

JavaScript 396 24 Updated Jun 8, 2023

A terminal workspace with batteries included

Rust 24,117 733 Updated May 7, 2025

Display and control your Android device

C 121,712 11,458 Updated May 3, 2025

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

Nix 39 13 Updated May 7, 2025

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

1,554 21 Updated Apr 19, 2024

What the f*ck Python? 😱

Python 36,209 2,669 Updated May 6, 2025

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

Rust 1,490 279 Updated May 7, 2025

The CompCert formally-verified C compiler

Coq 1,974 233 Updated May 5, 2025

A more discerning cousin of nix-collect-garbage

Python 64 1 Updated Mar 10, 2025

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

Coq 518 22 Updated Feb 11, 2025

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

Shell 2,043 60 Updated May 7, 2025

πŸ“– A collection of pure POSIX sh alternatives to external processes.

Shell 6,605 300 Updated Dec 31, 2023

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

Java 221 8 Updated Feb 23, 2025

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

Vim Script 8,418 296 Updated May 5, 2025

β˜„πŸŒŒοΈ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Rust 48,600 2,095 Updated May 7, 2025

A monitor of resources

C++ 24,579 742 Updated May 3, 2025

A smarter cd command. Supports all major shells.

Rust 26,274 625 Updated May 6, 2025

[deprecated] Own your $HOME

Go 826 28 Updated Mar 24, 2024

Wasm SpecTec specification tools

WebAssembly 50 13 Updated May 8, 2025

WebAssembly specification, reference interpreter, and test suite.

WebAssembly 3,238 470 Updated May 7, 2025

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

C 751 26 Updated May 12, 2024

KDE Plasma widget to adjust the brightness of multiple external monitors

Python 411 12 Updated Oct 10, 2024

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

Lua 3,997 98 Updated Apr 10, 2025
Next
0