8000 proski (Pavel Roskin) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View proski's full-sized avatar

Block or report proski

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

NixOS VMs on macOS/Linux via Lima

Nix 158 19 Updated Oct 11, 2026

A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

CSS 625 75 Updated Oct 2, 2026

A Rust port of tmux

Rust 803 31 Updated Apr 7, 2026

Manage your dotfiles across multiple diverse machines, securely.

Go 22,189 699 Updated Nov 6, 2026

Mersenne prime search using integer arithmetic and an IDBWT via an NTT executed on the GPU through OpenCL.

C++ 14 8 Updated Nov 4, 2026

➗ Trial Factoring program using OpenCL for GIMPS

C 10 10 Updated Nov 2, 2026

➗ Trial Factoring program using CUDA for GIMPS

C 22 16 Updated Nov 2, 2026

The Uncompromising Nix Code Formatter

Nix 1,421 57 Updated Nov 6, 2026

Stacked Git

Rust 679 76 Updated Oct 12, 2026

TetherFuseNet - Internet sharing without Root

Kotlin 923 94 Updated Nov 6, 2026

Uploads test coverage data to Bitbucket Server via Code Coverage plugin

Ruby 4 Updated Jun 4, 2021

A simple tftp-to-http proxy

Go 26 13 Updated Apr 15, 2019

command line tool to use Posix Message Queues

C 31 9 Updated Feb 20, 2024

Mirror of the official openconnect repository

C 462 91 Updated Apr 28, 2023

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Java 3,965 696 Updated Nov 6, 2026

Jenkins automation server

Java 26,732 9,818 Updated Nov 6, 2026

An gnome-shell extension to put the icons back to the tray.

JavaScript 666 94 Updated May 31, 2023

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

CSS 45,441 5,557 Updated Nov 2, 2026

cloned from https://gitorious.org/nahanni/

C 42 39 Updated Dec 18, 2020

Use your browser's monospace font for message body text in Gmail

JavaScript 68 9 Updated Jun 19, 2020

A cross platform library for interfacing with local and remote Linux IIO devices

C 655 373 Updated Nov 5, 2026

Industrial I/O Utils

Roff 3 2 Updated Feb 22, 2017

library for manipulating memory bitmaps

C 7 14 Updated Jan 28, 2026

JPEG2000 codec for RDP

C 28 24 Updated Apr 21, 2026

Xorg drivers for xrdp

C 538 139 Updated Oct 5, 2026

Text-mode interface for git

C 13,376 675 Updated Oct 13, 2026

xrdp: an open source RDP server

C 6,782 1,789 Updated Nov 2, 2026

Experimental metaprogramming framework

Java 26 8 Updated Nov 3, 2025
Next
0