@l3dlp's coding sandbox
Just a personal playground #SearchingForClarity
Pinned Loading
Repositories
Showing 10 of 1854 repositories
- OvenMediaEngine Public Forked from AirenSoft/OvenMediaEngine
OvenMediaEngine (OME) is a Sub-Second Latency Live Streaming Server with Large-Scale and High-Definition. #WebRTC #LLHLS
l3dlp-sandbox/OvenMediaEngine’s past year of commit activity - yunohost Public Forked from YunoHost/yunohost
YunoHost is an operating system aiming to simplify as much as possible the administration of a server. This repository corresponds to the core code, written mostly in Python and Bash.
l3dlp-sandbox/yunohost’s past year of commit activity - coq Public Forked from coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
l3dlp-sandbox/coq’s past year of commit activity