An AI System Designed to help accerlate Mathmatical Research
☆68Updated this week
Alternatives and similar repositories for AlphaSolve
Users that are interested in AlphaSolve are comparing it to the libraries listed below
Sorting:
- 易经决疑☆14Mar 23, 2022Updated 3 years ago
- A generic and efficient SIMD implementation of MSB Radix Sort with separate key and payload datastreams that supports arbitrary key and p…☆14Jan 31, 2025Updated last year
- ☆71Jan 21, 2025Updated last year
- ZooKeeper练习代码☆20Nov 5, 2014Updated 11 years ago
- "The Definitive ANTLR4 Reference" by Terence Parr, published by The Pragmatic Bookshelf - book code.☆20Dec 23, 2018Updated 7 years ago
- Axiom is a set of reusable and extensible components designed to be compatible with Velox. Its primary purpose is to simplify the process…☆60Updated this week
- ☆118Updated this week
- BaikalDB, A Distributed HTAP Database.☆1,233Oct 15, 2025Updated 4 months ago
- Hadoop Plugin for ElasticSearch☆62Aug 8, 2024Updated last year
- Blink`团队 (https://github.com/WANG-lp and https://github.com/CheYulin ), 1-million message-queue in c++ (使用intrinsics编写向量化代码)，第四届阿里中间件复赛代码…☆36Jul 25, 2018Updated 7 years ago
- Paimon-cpp is a high-performance C++ implementation of Apache Paimon.☆104Feb 13, 2026Updated 2 weeks ago
- 一个集审核、执行、备份及生成回滚语句于一身的MySQL自动化运维工具之手册部分☆38Oct 11, 2018Updated 7 years ago
- 海狗-多维在线分析系统☆72Jul 25, 2014Updated 11 years ago
- ☆179Sep 3, 2017Updated 8 years ago
- The repository for the Altinity Knowledge Base located at https://kb.altinity.com☆61Feb 18, 2026Updated last week
- RAPIDS Accelerator JNI For Apache Spark☆55Updated this week
- Splittable Gzip codec for Hadoop☆75Updated this week
- ☆52Dec 30, 2013Updated 12 years ago
- ☆55Nov 13, 2025Updated 3 months ago
- User tools for Spark RAPIDS☆69Updated this week
- Presentations, meetups and talks about Databend☆72May 8, 2022Updated 3 years ago
- Spark RAPIDS MLlib – accelerate Apache Spark MLlib with GPUs☆87Feb 10, 2026Updated 2 weeks ago
- Doris表和字段血缘项目☆88Apr 30, 2024Updated last year
- 一个非常强大的监控日志输出框架，支持 SpringAOP 和动态字节码注入两种方式输出方法执行的监控日志，而且包含链路追踪功能，只 要一个注解即可开启所有功能☆87Dec 16, 2022Updated 3 years ago
- JSONBench: a Benchmark For Data Analytics On JSON☆170Nov 18, 2025Updated 3 months ago
- A curated list of awesome ClickHouse software.☆179Jan 31, 2026Updated 3 weeks ago
- Common library☆133Jun 29, 2017Updated 8 years ago
- (用于归档)各种开源项目代码学习研究(包括代码注释、文档、用于代码分析的测试用例)☆216Feb 7, 2017Updated 9 years ago
- Lightweight interface for ClickHouse☆192Sep 26, 2022Updated 3 years ago
- a high-performance, large-capacity, multi-tenant, data-persistent, strong data consistency based on raft, Redis-compatible elastic KV dat…☆211Oct 31, 2024Updated last year
- Core C++ Sketch Library☆252Feb 15, 2026Updated last week
- BtrBlocks: Efficient Columnar Compression for Data Lakes (SIGMOD 2023 Paper)☆279Apr 7, 2025Updated 10 months ago
- Java client and server implementation of Redis☆357Oct 21, 2020Updated 5 years ago
- Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…☆267Jul 18, 2018Updated 7 years ago
- a muduo branch without boost and cmake, just using c++11 and makefile☆229Apr 17, 2019Updated 6 years ago
- Apache Calcite Avatica☆268Feb 11, 2026Updated 2 weeks ago
- A ethereum wallet like imToken☆254Jul 18, 2018Updated 7 years ago
- Baidu Bigflow is an interface that allows for writing distributed computing programs and provides lots of simple, flexible, powerful APIs…☆1,136Dec 11, 2025Updated 2 months ago
- Visualis is a BI tool for data visualization. It provides financial-grade data visualization capabilities on the basis of data security a…☆271Jan 2, 2025Updated last year