Hysteria is a powerful, lightning fast and censorship resistant proxy.

Signal-Desktop RPM for Fedora.

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

A fast, powerful type checker designed for Ruby

RE# - A high-performance, automata based regex engine with first-class support for intersection and complement operations.

RE# - A high-performance, automata based regex engine with first-class support for intersection and complement operations.

A Rust compiler with ownership checking, written in PHP

Carefully crafted, CMake-based PHP build system

Solving i18n for client-side and resource-constrained environments.

Experimental repo for GitHub based RFC workflow. For now, please don't submit PRs.

PHP grammar for tree-sitter

Take control over your live stream video by running it yourself. Streaming + chat out of the box.

self-hosted auth_endpoint using simple login mechanism

A fork of PHP to make it usable on a Sega Dreamcast in order to script 2D games.

A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

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

The lightweight PHP database framework to accelerate the development.

Projet collaboratif permettant de recenser les abus du RN

New JavaScript engine written in Rust

Make Swifty Stuff for PHP

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

Emulates MOS6502 and WDC65c02

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

Like Vercel, but open source and for all languages.

The PHP Unit Testing framework.

Eclipse B612

Functional choreographic programming in Haskell

⚡ Boson Kernel