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
Showing results

The Python programming language

Python 70,351 33,692 Updated Dec 17, 2025

Your self-hosted, globally interconnected microblogging community

Ruby 49,381 7,378 Updated Dec 17, 2025

The automation tower defense RTS

Java 25,977 3,316 Updated Dec 17, 2025

Network Analysis in Python

Python 16,419 3,442 Updated Dec 16, 2025

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

TypeScript 11,822 1,610 Updated Dec 15, 2025

Rust parser combinator framework

Rust 10,235 835 Updated Aug 26, 2025

Petition to open source Flash and Shockwave spec

ActionScript 7,320 111 Updated Feb 24, 2021

Simple Minecraft-inspired program using Python and Pyglet

Python 5,398 1,268 Updated Jun 10, 2023

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

C 5,327 595 Updated Dec 10, 2025

Collection of library stubs for Python, with static types

Python 4,959 1,938 Updated Dec 17, 2025

a smol tcp/ip stack

Rust 4,287 498 Updated Oct 29, 2025

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

Rust 3,587 208 Updated Nov 30, 2025

Cranelift code generator

2,502 200 Updated Jun 26, 2020

Global Proxy for Android

C 2,408 730 Updated Sep 25, 2024

A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

Rust 2,353 73 Updated Feb 28, 2023

ini file parser

C 1,047 437 Updated Oct 29, 2025

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

JavaScript 930 91 Updated Jun 11, 2022

The Cervus Subsystem for Linux

Rust 730 20 Updated Jun 3, 2018

Python to C++ 14 transpiler

C++ 583 47 Updated Jun 3, 2018

A Twitter Client

JavaScript 481 127 Updated Nov 1, 2021

A Python-based network and host monitor

Python 417 171 Updated Dec 16, 2025

WARNING: pysandbox is BROKEN BY DESIGN, please move to a new sandboxing solution (run python in a sandbox, not the opposite!)

Python 377 30 Updated Aug 30, 2019

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 240 40 Updated Feb 3, 2025

Simple Minecraft-inspired program using Python and Pyglet

Python 207 32 Updated Jun 16, 2020

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 22 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 Dec 16, 2025
Next