Pinned Repositories
airflow-doc-zh
:book: [译] Airflow 中文文档
akka-Demo
Akka-Essentials
Java/Scala Examples from the book - Akka Essentials
angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
awesome-pipeline
A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin
awesome-python-in-education-zh
Python在教育方面的资源列表
crab-llvm
Crab-based Abstract Interpreter for LLVM
InvariantSynthesisForArray_C
Automatic Invariant Synthesis for Arrays in Simple Programs
numpywren
QDInvSynthesis
building quantified (including universally and existentially) and disjunctive abstract domains that leverage existing quantifier-free domains in some restricted cases: traversed by simple ``for'' loops.
libin049's Repositories
libin049/numpywren
libin049/airflow-doc-zh
:book: [译] Airflow 中文文档
libin049/akka-Demo
libin049/Akka-Essentials
Java/Scala Examples from the book - Akka Essentials
libin049/awesome-pipeline
A curated list of awesome pipeline toolkits inspired by Awesome Sysadmin
libin049/awesome-serverless
:cloud: A curated list of awesome services, solutions and resources for serverless / nobackend applications.
libin049/aws-sam-cli-app-templates
libin049/ballerina-lang
Ballerina is a compiled, transactional, statically and strongly typed programming language with textual and graphical syntaxes.
libin049/clang-analyzer-guide
An easy guide to Clang Static Analyzer extension.
libin049/ddia-references
Literature references for “Designing Data-Intensive Applications”
libin049/engine
The Flutter engine
libin049/faasactors
Serverless Actors over AWS Lambda
libin049/firecracker
Secure and fast microVMs for serverless computing.
libin049/fission-workflows
Workflows for Fission: Fast, reliable and lightweight function composition for serverless functions
libin049/flutter
Flutter makes it easy and fast to build beautiful mobile apps.
libin049/gearpump
Lightweight real-time big data streaming engine over Akka
libin049/kunpengcompute.github.io
Kunpeng Tech Blog: https://kunpengcompute.github.io/
libin049/mqless
Serverless Actor Model Framework
libin049/ops
ops - build and run nanos unikernels
libin049/OptAnalysisMethod
libin049/pulumi
Define cloud apps and infrastructure in your favorite language and deploy to any cloud
libin049/pwa
libin049/ray
A fast and simple framework for building and running distributed applications.
libin049/ray-graph
libin049/serverless-literature-dataset
An evolving and community-curated dataset to capture FaaS-related literature
libin049/spark
Apache Spark enhanced with native Kubernetes scheduler back-end
libin049/testForVerona
libin049/toit
Program your microcontrollers in a fast and robust high-level language.
libin049/wechat-chatgpt
libin049/wordcount