Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View proggR's full-sized avatar

Block or report proggR

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 cross-platform terminal-based termux-oriented file manager (and component), meant to be used with a Uni-Curses project or as is.

Python 797 22 Updated Dec 30, 2025

An implementation of Ethereum Consensus Spec SimpleSerialize

Zig 9 4 Updated Nov 12, 2025

Collection of tools for private delegated proving of arbitrary programs.

Rust 6 1 Updated Jan 12, 2026

The Ballerina Programming Language

Ballerina 3,802 802 Updated Jan 14, 2026

Async-friendly WebTransport implementation in Rust

Rust 622 48 Updated Jan 18, 2026

neix - a RSS/Atom feed reader for your terminal.

C++ 209 12 Updated Sep 3, 2021

A self-hosted dashboard that puts all your feeds in one place

Go 31,287 1,169 Updated Dec 10, 2025

Oleg Kiselyov's zipper-based file-server/OS

Haskell 27 1 Updated Apr 9, 2020

A very minimal, resource efficient exo-kernel

Assembly 851 112 Updated Dec 3, 2025

A minimal viable operating system.

Assembly 3 2 Updated Mar 24, 2023

Secure and fast microVMs for serverless computing.

Rust 31,916 2,211 Updated Jan 16, 2026

Writing eBPF in Zig

Zig 223 11 Updated Dec 17, 2025

Zero-copy KCP protocol for the web

TypeScript 6 2 Updated Aug 15, 2025

⚡ KCP - A Fast and Reliable ARQ Protocol

C 16,543 2,578 Updated Apr 22, 2025

0-RTT network protocol optimized for P2P transfers.

Go 25 5 Updated Aug 31, 2025

Winter is coming... ❄️

JavaScript 3,203 59 Updated Feb 27, 2025

Truly independent web browser

C++ 57,713 2,610 Updated Jan 19, 2026

🚲 A preprocessor for anyone writing specifications that converts source files into actual specs.

HTML 1,264 212 Updated Jan 17, 2026

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

C 3,411 1,446 Updated Jan 15, 2026

SCION Internet Architecture

Go 496 178 Updated Jan 16, 2026

like ngrok, but more ambitious with DHT for flavor

Go 41 1 Updated Dec 5, 2025

This repository contains an experimental actor framework built using the Zig programming language. The framework implements actor-based concurrent programming patterns, including message passing be…

Zig 42 2 Updated Aug 8, 2025

Zigma is an algorithmic trading framework built with the Zig programming language, leveraging an actor-based concurrency model. It aims to provide an efficient, low-latency system for algorithmic t…

Zig 91 8 Updated Aug 3, 2025

A generic and general purpose Set implementation for the Zig language

Zig 100 7 Updated Nov 1, 2025

A programming language (kinda) written using pure NASM x86_32 macros!

Assembly 10 Updated Sep 7, 2025

A toy OS for learning purposes.

C 10 Updated Feb 29, 2024

A simple compiler from source to x64 assembly.

C 4 Updated Feb 25, 2024

Add a JS runtime in your Zig project

Zig 210 13 Updated Apr 18, 2025

COBOL to WebAssembly compiler

COBOL 385 14 Updated Oct 8, 2024

Fast and concurrent scripting.

Zig 1,403 54 Updated Dec 21, 2025
Next