liupingapple

liupingapple's Stars

• mlabonne/llm-course

  Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

  Language:Jupyter Notebook40.4k418694.3k

• clientIO/joint

  A proven SVG-based JavaScript diagramming library powering exceptional UIs

  Language:JavaScript4.8k155749857

• modelscope/data-juicer

  Making data higher-quality, juicier, and more digestible for foundation models! 🍎 🍋 🌽 ➡️ ➡️🍸 🍹 🍷为大模型提供更高质量、更丰富、更易”消化“的数据！

  Language:Python3.2k19212191

• mars-project/mars

  Mars is a tensor-based unified framework for large-scale data computation which scales numpy, pandas, scikit-learn and Python functions.

  Language:Python2.7k931.2k328

• bytedance/bhook

  :fire: ByteHook is an Android PLT hook library which supports armeabi-v7a, arm64-v8a, x86 and x86_64.

  Language:C2.1k5258333

• microsoft/coyote

  Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

  Language:C#1.5k389576

• facebookexperimental/hermit

  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

  Language:Rust1.2k152932

• netcan/asyncio

  asyncio is a c++20 library to write concurrent code using the async/await syntax.

  Language:C++850191981

• FudanSELab/train-ticket

  Train Ticket - A Benchmark Microservice System

  Language:Java7286160250

• open-telemetry/docs-cn

  OpenTelemetry 中文文档: 接入使用、技术标准、RFC、SDK等.

  6272719108

• osrg/namazu

  :fish: 鯰: Programmable fuzzy scheduler for testing distributed systems

  Language:Go492315542

• elementary-data/dbt-data-reliability

  dbt package that is part of Elementary, the dbt-native data observability solution for data & analytics engineers. Monitor your data pipelines in minutes. Available as self-hosted or cloud service with premium features.

  Language:Python39782691

• MatthewReid854/reliability

  Reliability engineering toolkit for Python - https://reliability.readthedocs.io/en/latest/

  Language:Python345204480

• liguge/Journals-of-Prognostics-and-Health-Management

  智能故障诊断和寿命预测期刊（Journals of Intelligent Fault Diagnosis and Remaining Useful Life）

  3126140

• dreamhomes/RCAPapers

  Papers about Root Cause Analysis in MicroService Systems. Reference to Paper Notes: https://dreamhomes.top/

  1375011

• ez8-co/emock

  🐞 下一代C/C++跨平台mock库 (Next generation cross-platform mock library for C/C++)

  Language:C++12084335

• alibaba-edu/dcbrain

  dcbrain

  Language:Python859520

• joostdenijs/azure-content

  Repository containing the Articles on windowsazure.com Develop and Manage Centers

  44103.2k

• microsoft/cpp-systematic-testing

  A library for testing concurrent C++ code and deterministically reproducing bugs.

  Language:C++43406

• joapolarbear/dpro

  Analysis for the traces from byteprofile

  Language:Python29522

• wcventure/PERIOD

  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

  Language:C++29234

• nicolasAmat/SMPT

  SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

  Language:Python27405

• rssys/snowboard

  This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis", In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP), Virtual, 2021

  Language:C23135

• lmkr/cpncourse

  Coloured Petri Nets and CPN Tools Course

  Language:Standard ML16526

• hsluoyz/CPetriNet

  A C/C++ PetriNet simulator (aka non-UI CPN Tools)

  Language:C++9201

• LanceFiondella/C-SFRAT

  Covariate Software Failure and Reliability Assessment Tool (C-SFRAT)

  Language:Python9745

• MarshallRawson/nt-petri-net

  Language:Rust91

• oceanbase/LCL

  It's source code of the LCL algorithm, which is a Lock Chain Length-based Distributed Algorithm for Deadlock Detection and Resolution.

  Language:C++8603

• hsivan/automon

  AutoMon library for distributed function monitoring

  Language:Python7101

• bpogroup/aepn-project

  Action-Evolution Petri Nets in Python

  Language:Python5200