Registry index for crates.io

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

A Scalable, User-Friendly Source Control System.

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

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

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

IntelliJ IDEA & IntelliJ Platform

Promise based HTTP client for the browser and node.js

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

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

Concurrent data structures for Go

A more powerful alternative to kubectx and kubens

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

Module initialization/global constructor functions for Rust

An open and reliable container runtime

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

The systemd System and Service Manager

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

ClickHouse® is a real-time analytics database management system

Log file navigator

The Z3 Theorem Prover

Iron Horse

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…

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…

The Kotlin Programming Language.

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

A Git-compatible VCS that is both simple and powerful

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

Empowering everyone to build reliable and efficient software.