laf
Cloud dev platform
A platform providing cloud functions, databases, and storage solutions to simplify development and deployment of web applications
Laf is a vibrant cloud development platform that provides essential tools like cloud functions, databases, and storage solutions. It enables developers to quickly unleash their creativity and bring innovative ideas to life with ease.
7k stars
64 watching
669 forks
Language: TypeScript
last commit: almost 2 years agoLinked from 1 awesome list
cloudbasefaasfirebasekubernetesminiomongodbserverlesssupabasetypescript
rootsongjc/awesome-cloud-nativeRelated projects:
| Repository | Description | Stars |
|---|---|---|
 meituan-dianping/dbproxy | A data access layer that provides read-write separation and replication capabilities for MySQL databases | 2,271 |
 timqian/star-history-plugin | Displays star history graph of GitHub repositories in a Chrome extension | 266 |
 paddlepaddle/paddleocr | An OCR toolkit that provides a robust and efficient framework for developing and deploying optical character recognition models. | 45,075 |
 star-history/star-history | Displays historical star counts for GitHub repositories in a graphical format | 6,738 |
 adamlui/github-star-history | Displays star history chart in GitHub repositories' sidebars | 8 |
 coq-community/hydra-battles | Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory. | 69 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
| coq-community/topology | Develops and formalizes basic concepts and results of general topology in Coq. | 47 |
| coq-community/bignums | A Coq library providing support for arbitrarily large numbers | 22 |
| coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 30 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
| coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
| coq-community/graph-theory | Formalized graph theory results for research and verification | 35 |
| coq-community/tarjan | Formalization of Tarjan and Kosaraju's strongly connected component algorithm in Coq for finite graphs. | 13 |