Skip to content
View fourdim's full-sized avatar

Block or report fourdim

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 Dolev-Yao-model-guided fuzzer for TLS

Rust 148 15 Updated Nov 25, 2025

AirPods liberated from Apple's ecosystem.

Kotlin 17,487 810 Updated Nov 25, 2025

Terminal session recorder, streamer and player 📹

Rust 16,399 983 Updated Nov 22, 2025

⬛️ CLI tool and library for saving complete web pages as a single HTML file

Rust 14,522 439 Updated Aug 29, 2025

The Libertinus font family

Spline Font Database 1,287 65 Updated Oct 2, 2024

A tool to extract code content from source files using the clang and LLVM infrastructure.

C++ 29 4 Updated Oct 20, 2025

QEMU fork

C 23 29 Updated Nov 20, 2025

A novel data compression framework

C 2,758 109 Updated Nov 26, 2025

Müsli is a flexible and efficient serialization framework

Rust 418 18 Updated Nov 5, 2025

Cap'n Proto serialization/RPC system - core tools and C++ library

C++ 12,666 1,000 Updated Nov 25, 2025

Graceful process restarts in Go

Go 3,081 155 Updated Sep 25, 2024

Graceful process restarts in Rust

Rust 451 16 Updated Mar 27, 2025

A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.

Rust 12,369 661 Updated Jul 29, 2025

a Python library for running child processes

Python 135 11 Updated Nov 11, 2025

Connect, secure, control, and observe services.

Go 37,661 8,171 Updated Nov 26, 2025

A game theoretic approach to explain the output of any machine learning model.

Jupyter Notebook 24,762 3,458 Updated Nov 20, 2025

Static analysis for GitHub Actions

Rust 3,337 120 Updated Nov 26, 2025

tiktoken tokenizer for postgres

Rust 50 8 Updated Oct 15, 2025

⚡ Better `pre-commit`, re-engineered in Rust

Rust 2,535 83 Updated Nov 26, 2025

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Rust 2,747 256 Updated Nov 26, 2025

The Modular Platform (includes MAX & Mojo)

Mojo 25,259 2,736 Updated Nov 24, 2025

NixOS MicroVMs

Nix 2,002 162 Updated Nov 24, 2025

Secure and fast microVMs for serverless computing.

Rust 31,179 2,148 Updated Nov 26, 2025

A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)

Python 16,445 1,121 Updated Nov 23, 2025
Rust 1,223 75 Updated Nov 26, 2025

Advanced data visualization with Typst.

Typst 529 14 Updated Nov 26, 2025

Draw elegant metro maps with ease

Typst 35 Updated Aug 12, 2025
Go 2 Updated Sep 24, 2024

The Best Library: a C++ STL replacement

C++ 394 7 Updated Jul 1, 2025
Next