Lists (1)
Sort Name ascending (A-Z)
Stars
🎯 告别信息过载,AI 助你看懂新闻资讯热点,简单的舆情监控分析 - 多平台热点聚合+基于 MCP 的AI分析工具。监控35个平台(抖音、知乎、B站、华尔街见闻、财联社等),智能筛选+自动推送+AI对话分析(用自然语言深度挖掘新闻:趋势追踪、情感分析、相似检索等13种工具)。支持企业微信/个人微信/飞书/钉钉/Telegram/邮件/ntfy/bark/slack 推送,1分钟手机通知,无需…
Eclipse Trace Compass cloned from the original version
Dafny is a verification-aware programming language
DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
收集所有区块链(BlockChain)技术开发相关资料,包括Fabric和Ethereum开发资料
Roadmap of learning blockchain technology and business knowledge summarized by ZJUBCA(浙大区块链协会总结的区块链知识学习路线)
SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts
A Comprehensive Collection of DCR Graph Model of High-Level Design Patterns in Smart Contracts
Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts
VulMat: An accurate multi-tool vulnerability <-> detector taxonomy matrix smart contracts
Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning
The runtime monitoring tool for smart contracts business logic.
Aiming to build the most comprehensive machine learning blog.
《机器学习理论导引》(宝箱书)的证明、案例、概念补充与参考文献讲解。
PyTorch入门教程,在线阅读地址:https://datawhalechina.github.io/thorough-pytorch/
Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.
Lists of company wise questions available on leetcode premium. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode …
Focalboard is an open source, self-hosted alternative to Trello, Notion, and Asana.