Rust 实现的 12306 风格高并发铁路售票引擎：区间段库存/防超卖/削峰排队/候补兑现/WAL 崩溃恢复
☆11Aug 14, 2026Updated 2 months ago
Alternatives and similar repositories for ticketing-rs
Users that are interested in ticketing-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 10 months ago
- Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.☆10Jul 2, 2026Updated 3 months ago
- 一个基于 CloudWeGo Eino ADK 封装的 Go 大模型运行包。它把模型执行、Redis 事件持久化、断点恢复、中断、reasoning / <think> 拆分抽成核心能力，并提供 AI SDK / assistant-ui 与 OpenAI-compatib…☆12Aug 23, 2026Updated 2 months ago
- 知乎开放平台接口，官方Zhihu Cli开源平替。☆24Oct 13, 2026Updated 2 weeks ago
- A lightweight, event-stream-driven Agent toolkit built on top of CloudWeGo Eino ADK.☆17Sep 5, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 一键解密/解析 NTQQ 数据库！☆19Oct 11, 2026Updated 2 weeks ago
- Insight Mechanism Reproduction Program - Ramanujan pipeline, structure-induction windows, insight signatures. A Mushroom-Body Program tra…☆27Updated this week
- Formal verification of Rust code with AI-assisted specification and proof.☆22Updated this week
- Agent skills from agentspace.so — for Claude Code, Cursor, and other AI coding agents.☆17Apr 28, 2026Updated 6 months ago
- ☆27Updated this week
- msc20180606 计算机科学与数学☆14Aug 30, 2025Updated last year
- ☆13Aug 6, 2026Updated 2 months ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- VecOption<T> is a specialized collection (in Rust), which is a more efficient replacement for Vec<Option<T>>.☆15Aug 14, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- codex-mcp-rs is a Rust-based MCP (Model Context Protocol) server that serves as a bridge for Codex CLI, enabling various AI coding assist…☆16Feb 15, 2026Updated 8 months ago
- The Candle theorem prover (fork of the HOL Light sources)☆27Oct 19, 2026Updated last week
- ☆16Jul 27, 2026Updated 3 months ago
- ☆35Sep 22, 2025Updated last year
- Root定位修改工具，支持模拟WIFI蓝牙基站定位☆21Oct 11, 2026Updated 2 weeks ago
- ☆17Jan 21, 2026Updated 9 months ago
- An Rsbuild plugin to automatically resend requests when static assets fail to load.☆10Oct 15, 2026Updated 2 weeks ago
- rustc 工作原理与贡献指南☆12Jul 7, 2019Updated 7 years ago
- Android TTS 转发器。☆13Sep 20, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 本 App 定位为“端侧 AI 基础设施”，即运行在 Android 手机/平板上的无头（弱 UI）服务应用。它的核心任务是将设备芯片算力转化为标准的 OpenAPI 接口，供同设备的其他应用通过 IPC/HTTP 进行调用☆20Oct 7, 2026Updated 3 weeks ago
- Rust 单一二进制航班搜索 CLI 与 MCP 服务器：聚合 6 个机票网站 ，并实时比较 Google Flights 与 Skiplagged 票价。☆14Jul 29, 2026Updated 3 months ago
- Rational engineering system prompt for Codex and LLMs — focused on accuracy, software engineering, AI, security research, bug bounty, and…☆99Sep 14, 2026Updated last month
- 一套基于 C# WinForm 开发的视觉引导三轴运动控制调试上位机软件，面向教学实验、设备原型调试场景，打通工业相机图像采集、视觉算法处理、手眼坐标标定、多轴运动执行完整链路。☆14Aug 28, 2026Updated 2 months ago
- LSPosed 虚拟定位模块：接管 android.location 与目标 App 内嵌的地图/定位 SDK（高德 / 百度 / 腾讯），并抹除 mock 痕迹☆16Sep 30, 2026Updated 3 weeks ago
- rawStream.pipe(JSONStream.parse()).pipe(streamOfObjects)☆11Nov 30, 2020Updated 5 years ago
- Bing Daily 4K Ultra HD Wallpaper 必应每日4K超清壁纸☆13Jan 18, 2023Updated 3 years ago
- Use GitHub Action to Send Email to Me with My GitHub Top 20 Repos' Stars Per Day☆14Updated this week
- Handwritten AI diary for iPad — Tom Riddle-style magic journal with sketch generation☆21Jul 7, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- High level SCTP networking library for Rust☆20Sep 23, 2024Updated 2 years ago
- Boosting Natural Language Generation from Instructions with Meta-Learning☆10Dec 20, 2022Updated 3 years ago
- Deep Counterfactual Prediction with Categorical Backward Variables☆12Feb 8, 2023Updated 3 years ago
- ☆10Feb 17, 2019Updated 7 years ago
- Personal website☆15Jun 18, 2026Updated 4 months ago
- KnowMAN: Weakly Supervised Multinomial Adversarial Networks☆12Nov 9, 2021Updated 4 years ago
- Code for paper "When Can Models Learn From Explanations? A Formal Framework for Understanding the Roles of Explanation Data"☆14Feb 16, 2021Updated 5 years ago