Stars
An automated prover that verifies the equivalence of SQL queries
📺IPTV电视直播源更新项目『✨秒播级体验🚀』:支持IPv4/IPv6;支持自定义频道;支持本地源、组播源、酒店源、订阅源、关键字搜索;每天自动更新两次,结果可用于TVBox等播放软件;支持工作流、Docker(amd64/arm64/arm v7)、命令行、GUI运行方式 | IPTV live TV source update project
Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)
💯 Curated coding interview preparation materials for busy software engineers
This is a MiniZinc based attempt to solve the Modern Art: Masters Gallery game.
Terraforming Mars Boardgame
懒松鼠Flink-Boot 脚手架让Flink全面拥抱Spring生态体系,使得开发者可以以Java WEB开发模式开发出分布式运行的流处理程序,懒松鼠让跨界变得更加简单。懒松鼠旨在让开发者以更底上手成本(不需要理解分布式计算的理论知识和Flink框架的细节)便可以快速编写业务代码实现。为了进一步提升开发者使用懒松鼠脚手架开发大型项目的敏捷的度,该脚手架默认集成Spring框架进行Bean管…
基于开源的flink,对其实时sql进行扩展;主要实现了流与维表的join,支持原生flink SQL所有的语法
Apache Superset is a Data Visualization and Data Exploration Platform
A repository with IPython notebooks of algorithms implemented in Python.
1st Place Solution for O2O Coupon Usage Forecast
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow
A fast, scalable, high performance Gradient Boosting on Decision Trees library, used for ranking, classification, regression and other machine learning tasks for Python, R, Java, C++. Supports comp…
collections of the data minning or machine learning job information in china
A Python Package to Tackle the Curse of Imbalanced Datasets in Machine Learning
Must-read papers on network representation learning (NRL) / network embedding (NE)
Python module to decode/encode Geohashes to/from latitude and longitude. See http://en.wikipedia.org/wiki/Geohash
Machine learning evaluation metrics, implemented in Python, R, Haskell, and MATLAB / Octave
A Flexible and Powerful Parameter Server for large-scale machine learning