@l3dlp's coding sandbox
PinnedLoading
- caddy
caddy PublicForked fromcaddyserver/caddy
Fast, multi-platform web server with automatic HTTPS
Go 1
- cryptpad
cryptpad PublicForked fromcryptpad/cryptpad
Collaborative office suite, end-to-end encrypted and open-source.
JavaScript
- budibase
budibase PublicForked fromBudibase/budibase
Budibase is an open-source low-code platform for creating internal apps in minutes. Supports PostgreSQL, MySQL, MSSQL, MongoDB, Rest API, Docker, K8s 🚀
TypeScript
- cardstack
cardstack PublicForked fromcardstack/cardstack
The mono-repo for the core Cardstack framework.
TypeScript
Repositories
- coq Public Forked fromrocq-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.
Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/coq’s past year of commit activity Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/core-js’s past year of commit activity - opencart Public Forked fromopencart/opencart
A free shopping cart system. OpenCart is an open source PHP-based online e-commerce solution.
Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/opencart’s past year of commit activity - next.js Public Forked fromvercel/next.js
Framework for server-rendered or statically-exported React apps
Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/next.js’s past year of commit activity Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/emscripten’s past year of commit activity - tensorflow Public Forked fromtensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/tensorflow’s past year of commit activity Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/FreeTube’s past year of commit activity - certmagic Public Forked fromcaddyserver/certmagic
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/certmagic’s past year of commit activity Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/goa’s past year of commit activity - Rocket.Chat Public Forked fromRocketChat/Rocket.Chat
Have your own Slack like online chat, built with Meteor.
Uh oh!
There was an error while loading.Please reload this page.
l3dlp-sandbox/Rocket.Chat’s past year of commit activity
Top languages
Loading…
Uh oh!
There was an error while loading.Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading.Please reload this page.