Lists (1)
Stars
Artifacts for PPoPP'25 - DORADD: Deterministic Parallel Execution in the Era of Microsecond-Scale Computing
[PVLDB 2024] Spectrum: Speedy and Strictly-Deterministic Smart Contract Transactions for Blockchain Ledgers
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Ant Graph Learning (AGL) provides a comprehensive solution for graph learning tasks at an industrial scale.
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
eBPF-based Linux high-performance transparent proxy solution.
Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.
Custom Selenium Chromedriver | Zero-Config | Passes ALL bot mitigation systems (like Distil / Imperva/ Datadadome / CloudFlare IUAM)
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
一个支持节点与订阅链接的 Linux 命令行代理工具 | A command-line tool for one-click proxy in your research and development without installing v2ray or anything else (only for linux)
Analysis, Comparison, Trends, Rankings of Open Source Software, you can also get insight from more than 7 billion with natural language (powered by OpenAI). Follow us on Twitter: https://twitter.co…
Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference
GitHub Repo for Aria: A Fast and Practical Deterministic OLTP Database
润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新中国人的核心宗教，核心信念。
Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
An open and flexible framework for developing enclave applications
flarum-ext-chinese-search-mariadb for v1.2.0