Skip to content
View leto's full-sized avatar
🐉
The Blocks Must Flow
🐉
The Blocks Must Flow

Block or report leto

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Empowering everyone to build reliable and efficient software.

Rust 111,853 14,732 Updated Apr 9, 2026

A Proof-oriented Programming Language

F* 2,995 249 Updated Apr 9, 2026

Ceph is a distributed object, block, and file storage platform

C++ 16,434 6,350 Updated Apr 9, 2026

Repository with text of DMCA takedown notices as received. GitHub does not endorse or adopt any assertion contained in the following notices. Users identified in the notices are presumed innocent u…

DIGITAL Command Language 6,230 1,374 Updated Apr 9, 2026

System for quickly installing an OpenStack cloud from upstream git for testing and development. Mirror of code maintained at opendev.org.

Shell 2,133 1,351 Updated Apr 9, 2026

An open-source, privacy-enhancing web browser for iOS, utilizing the Tor anonymity network

Swift 2,554 515 Updated Apr 9, 2026

Universal markup converter

Haskell 43,199 3,806 Updated Apr 9, 2026

Vert.x is a tool-kit for building reactive applications on the JVM

Java 14,660 2,101 Updated Apr 9, 2026

An ACME-based certificate authority, written in Go.

Go 5,682 635 Updated Apr 9, 2026

SQL powered operating system instrumentation, monitoring, and analytics.

C++ 23,203 2,562 Updated Apr 9, 2026

Web interface for MetaCPAN

Perl 473 233 Updated Apr 9, 2026

A customizable, open-source ecommerce platform built on WordPress. Build any commerce solution you can imagine.

PHP 10,241 10,711 Updated Apr 9, 2026

The easiest, most secure way to use WireGuard and 2FA.

Go 30,318 2,437 Updated Apr 9, 2026

The Stacks blockchain implementation

Rust 3,056 752 Updated Apr 9, 2026

A modern, portable, easy to use crypto library.

C 13,579 1,865 Updated Apr 9, 2026

Redis Python client

Python 13,518 2,671 Updated Apr 9, 2026

music library manager and MusicBrainz tagger

Python 14,946 2,000 Updated Apr 9, 2026

Rust-language assets for Zcash

Rust 387 326 Updated Apr 9, 2026

low cost software radio platform

C 7,796 1,680 Updated Apr 9, 2026

The Julia Programming Language

Julia 48,554 5,760 Updated Apr 9, 2026

GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com

Ruby 24,298 5,793 Updated Apr 9, 2026

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

C 73,730 24,567 Updated Apr 9, 2026

Emscripten: An LLVM-to-WebAssembly Compiler

C++ 27,304 3,512 Updated Apr 9, 2026

DIY airgapped hardware wallet that uses QR codes for communication with the host

Python 549 96 Updated Apr 9, 2026

The open source error catcher that's Airbrake API compliant 🇺🇦

Ruby 4,274 992 Updated Apr 9, 2026

Cloud Foundry BOSH is an open source tool chain for release engineering, deployment and lifecycle management of large scale distributed services.

Ruby 2,074 661 Updated Apr 9, 2026

Chef Infra, a powerful automation platform that transforms infrastructure into code automating how infrastructure is configured, deployed and managed across any environment, at any scale

Ruby 8,289 2,523 Updated Apr 9, 2026

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

Go 71,528 18,917 Updated Apr 9, 2026

Minimal Linux container host

Python 3,175 698 Updated Apr 9, 2026

Bitcoin Core integration/staging tree

C++ 88,750 38,891 Updated Apr 9, 2026
Next