Skip to content
View SOF3's full-sized avatar

Block or report SOF3

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

Starred repositories

Showing results

Registry index for crates.io

Tcl 697 270 Updated Apr 4, 2026

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

Rust 977 66 Updated Apr 4, 2026

A Scalable, User-Friendly Source Control System.

Rust 6,797 359 Updated Apr 4, 2026

PHP Static Analysis Tool - discover bugs in your code without running it!

PHP 13,891 947 Updated Apr 4, 2026

Nyx is a high fidelity, fast, reliable and validated astrodynamics toolkit library written in Rust and available in Python

Rust 430 36 Updated Apr 4, 2026

Better GitHub statistics images for your profile, with stats from private repos too

Python 3,412 728 Updated Apr 4, 2026

IntelliJ IDEA & IntelliJ Platform

Java 19,907 5,726 Updated Apr 4, 2026

Promise based HTTP client for the browser and node.js

JavaScript 109,027 11,594 Updated Apr 4, 2026

Grab your own sweet-looking '.is-a.dev' subdomain.

JavaScript 10,059 19,915 Updated Apr 4, 2026

PHPStan's source code. This is where development happens. Check https://github.com/phpstan/phpstan for the distribution repository.

PHP 387 564 Updated Apr 4, 2026

Concurrent data structures for Go

Go 1,657 64 Updated Apr 4, 2026

A more powerful alternative to kubectx and kubens

Rust 2,498 124 Updated Apr 4, 2026

OpenTTD is an open source simulation game based upon Transport Tycoon Deluxe

C++ 7,760 1,159 Updated Apr 4, 2026

Module initialization/global constructor functions for Rust

Rust 967 67 Updated Apr 4, 2026

An open and reliable container runtime

Go 20,522 3,863 Updated Apr 4, 2026

Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

Kotlin 4,763 699 Updated Apr 4, 2026

The systemd System and Service Manager

C 16,145 4,425 Updated Apr 4, 2026

OWASP Juice Shop: Probably the most modern and sophisticated insecure web application

TypeScript 12,852 17,168 Updated Apr 4, 2026

ClickHouse® is a real-time analytics database management system

C++ 46,695 8,270 Updated Apr 4, 2026

Log file navigator

C++ 10,121 380 Updated Apr 4, 2026

The Z3 Theorem Prover

C++ 12,122 1,632 Updated Apr 4, 2026

Iron Horse

Python 24 22 Updated Apr 4, 2026

A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTMP, RTMP…

C 41,177 7,117 Updated Apr 4, 2026

The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many mo…

TypeScript 72,969 13,666 Updated Apr 4, 2026

The Kotlin Programming Language.

Kotlin 52,527 6,279 Updated Apr 4, 2026

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

C++ 120,751 17,097 Updated Apr 4, 2026

A Git-compatible VCS that is both simple and powerful

Rust 27,560 994 Updated Apr 4, 2026

🗻 Log-structured, embeddable key-value storage engine written in Rust

Rust 1,993 91 Updated Apr 4, 2026

Empowering everyone to build reliable and efficient software.

Rust 111,697 14,702 Updated Apr 4, 2026
C++ 10,822 4,736 Updated Apr 4, 2026
Next