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

Yes, really...

Next generation Cosmic desktop environment

Boa is an embeddable Javascript engine written in Rust.

Analyze compressed chess pgn files to determine the rarest move

🐘 a simple website to help you to trade elePHPants 💥

JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The interactive playground lets you experiment with UnicodeMath, LaTeX…

Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.

Write PHP extensions without unending misery of C, macros and PHP build system.

TeX-to-MathML conversion library in JavaScript

A minimalistic opinionated Mastodon web client

Create CycloneDX Software Bill of Materials (SBOM) from PHP Composer projects

Photo Sharing. For Everyone.