@l3dlp's coding sandbox
Just a personal playground #SearchingForClarity
Pinned Loading
Repositories
Showing 10 of 1865 repositories
- PhpSpreadsheet Public Forked from PHPOffice/PhpSpreadsheet
A pure PHP library for reading and writing spreadsheet files
- storybook Public Forked from storybookjs/storybook
📓 The UI component explorer. Develop, document, & test React, Vue, Angular, Web Components, Ember, Svelte & more!
- 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.
- coq Public Forked from rocq-prover/rocq
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.
Top languages
Loading…
Most used topics
Loading…