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

A Rust port of the WebGraph framework

Rust 57 11 Updated Nov 4, 2025
10 Updated Mar 11, 2020

This repository contains a (client-side) web application to generate Codemeta documents (aka. codemeta.json).

JavaScript 17 11 Updated Oct 24, 2025

software for the running and supervision of hydrological models and tools of flood forecasting

Python 5 1 Updated Dec 17, 2021

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

A Python-based network and host monitor

Python 416 172 Updated Oct 30, 2025

GitHub mirror of Limnoria plugins

Python 3 Updated Jul 3, 2019

GitHub mirror of Development environment

Shell 2 1 Updated Oct 23, 2025

GitHub mirror of Foundations and core functionalities

Python 4 2 Updated Oct 28, 2025

GitHub mirror of Development documentation

Python 4 2 Updated Nov 6, 2025

GitHub mirror of Metadata indexer

Python 16 1 Updated Oct 21, 2025

A special input type for nom to locate tokens

Rust 238 40 Updated Feb 3, 2025

Rust implementation of the WTF-8 encoding.

Rust 19 6 Updated Nov 25, 2024

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

Rust 3,483 204 Updated Nov 3, 2025

Rust parser combinator framework

Rust 10,169 839 Updated Aug 26, 2025

Cranelift code generator

2,497 201 Updated Jun 26, 2020

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

Rust 2,348 73 Updated Feb 28, 2023

The Cervus Subsystem for Linux

Rust 730 20 Updated Jun 3, 2018

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

Rust 36 13 Updated Mar 24, 2025

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

Rust 71 23 Updated Jul 1, 2024

The Python programming language

Python 69,705 33,305 Updated Nov 7, 2025

Collection of library stubs for Python, with static types

Python 4,912 1,929 Updated Nov 7, 2025

a smol tcp/ip stack

Rust 4,226 490 Updated Oct 29, 2025

The automation tower defense RTS

Java 25,660 3,267 Updated Nov 6, 2025

Some Teeworlds stuff in Rust.™

Rust 56 21 Updated Oct 22, 2025

A website about french words for computer concepts.

JavaScript 293 73 Updated Jul 30, 2024

Your self-hosted, globally interconnected microblogging community

Ruby 49,205 7,340 Updated Nov 7, 2025

Infection Mod with a class system for TeeWorlds

C++ 39 25 Updated Jan 18, 2019

Network Analysis in Python

Python 16,310 3,423 Updated Nov 5, 2025
Next