Lists (1)
Starred repositories
YTsaurus is a scalable and fault-tolerant open-source big data platform.
Cloud-native high-performance edge/middle/service proxy
freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
📚 Collaborative cheatsheets for console commands
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
Code generation for the AWS SDK for Rust, as well as server and generic smithy client generation.
Empowering everyone to build reliable and efficient software.
TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
The financial transactions database designed for mission critical safety and performance.
DuckDB is an analytical in-process SQL database management system
Secure and fast microVMs for serverless computing.
GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com
Lean 4 programming language and theorem prover
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replica…
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
A scalable, distributed, collaborative, document-graph database, for the realtime web
🐀 A link aggregator and forum for the fediverse
A friendly programming language from the future