Skip to content
View progval's full-sized avatar

Organizations

@NixOS @inspircd @ProjetPP @codemeta @SoftwareHeritage @ircdocs @rust-fcp @InfectionClass @SrainApp

Block or report progval

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
76 results for source starred repositories
Clear filter

The Python programming language

Python 69,817 33,386 Updated Nov 12, 2025

Your self-hosted, globally interconnected microblogging community

Ruby 49,223 7,342 Updated Nov 12, 2025

The automation tower defense RTS

Java 25,717 3,279 Updated Nov 12, 2025

Network Analysis in Python

Python 16,330 3,425 Updated Nov 12, 2025

A JavaScript library aimed at visualizing graphs of thousands of nodes and edges

TypeScript 11,784 1,607 Updated May 27, 2025

Rust parser combinator framework

Rust 10,174 837 Updated Aug 26, 2025

Petition to open source Flash and Shockwave spec

ActionScript 7,319 112 Updated Feb 24, 2021

Simple Minecraft-inspired program using Python and Pyglet

Python 5,384 1,266 Updated Jun 10, 2023

An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing.

C 5,308 595 Updated Oct 5, 2025

Collection of library stubs for Python, with static types

Python 4,917 1,930 Updated Nov 11, 2025

a smol tcp/ip stack

Rust 4,234 492 Updated Oct 29, 2025

Sōzu HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust. It is awesome!

Rust 3,486 204 Updated Nov 12, 2025

Global Proxy for Android

C 2,398 728 Updated Sep 25, 2024

ini file parser

C 1,046 437 Updated Oct 29, 2025

The project where anything goes, as long as the code allows it

JavaScript 931 92 Updated Jun 11, 2022

A Twitter Client

JavaScript 481 128 Updated Nov 1, 2021

A Python-based network and host monitor

Python 416 172 Updated Nov 9, 2025

A website about french words for computer concepts.

JavaScript 293 73 Updated Jul 30, 2024

A special input type for nom to locate tokens

Rust 238 40 Updated Feb 3, 2025

Unofficial Skype API for nodejs via 'Skype (HTTP)' protocol.

TypeScript 195 45 Updated Dec 17, 2021

Archive your tweets to easily browse and search - all on your own website and in your control.

PHP 112 21 Updated Jan 1, 2017

A library that provides a way to logically own objects, whether or not heap allocation is available

Rust 71 23 Updated Jul 1, 2024

A Rust port of the WebGraph framework

Rust 58 11 Updated Nov 11, 2025

Some Teeworlds stuff in Rust.™

Rust 56 21 Updated Oct 22, 2025

A call out to add prefixes for all browsers to webkit only code on Github

48 5 Updated Feb 9, 2012

Infection Mod with a class system for TeeWorlds

C++ 39 25 Updated Jan 18, 2019

An ansible role for bootstrapping new Debian based systems, including setting up partitions, file systems, encryption (luks), RAID and LVM

Python 36 21 Updated Jun 8, 2025

Mirror of https://gitlab.redox-os.org/redox-os/netstack

Rust 36 13 Updated Mar 24, 2025

legacy-free IRCv3.2 server built ontop of ircreactor

Python 29 4 Updated Jan 30, 2016
Next