Experimental C implementation of “Breaking the Sorting Barrier for Directed Single-Source Shortest Paths” by Ran Duan, Jiayi Mao, Xiao Mao, Xinkai Shu, and Longhui Yin (STOC 2025)
☆79Feb 24, 2026Updated 3 weeks ago
Alternatives and similar repositories for DMMSY-SSSP
Users that are interested in DMMSY-SSSP are comparing it to the libraries listed below
Sorting:
- Algorithms in C++17☆15Mar 1, 2026Updated 2 weeks ago
- Automated loop driver, slash commands, council automation, MCP browser bridge, and portfolio governance for Claude Code CLI☆55Mar 9, 2026Updated last week
- Disposable Linux containers for AI coding agents, with extensible backends☆51Mar 5, 2026Updated 2 weeks ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- Modified Beam Search with periodical restart☆12Sep 12, 2024Updated last year
- ☆29Jan 11, 2026Updated 2 months ago
- eVOLVER Hardware (PCB, 3D printed parts)☆11Sep 15, 2025Updated 6 months ago
- Yet another frontend for LLM, written using .NET and WinUI 3☆10Sep 14, 2025Updated 6 months ago
- RWKV is a RNN with transformer-level LLM performance. It can be directly trained like a GPT (parallelizable). So it's combining the best …☆10Nov 3, 2023Updated 2 years ago
- TODO Guide for implementing Android Architecture Components in your apps☆10Sep 28, 2018Updated 7 years ago
- A lightweight Git history explorer written in Go☆117Mar 11, 2026Updated last week
- ☆11Oct 11, 2023Updated 2 years ago
- A generic parser and tool package for the BTOR2 format.☆47Sep 18, 2025Updated 6 months ago
- ☆60Mar 10, 2026Updated last week
- 2026 SWE internship & new graduate job list updated daily☆27Oct 26, 2025Updated 4 months ago
- Environment control for benchmarks☆14Feb 10, 2025Updated last year
- Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for com…☆42Feb 25, 2026Updated 3 weeks ago
- 散樱乱武桌游组卡器（含随机抽取、组卡&分享、扩展玩法、卡组广场，FAQ查看等功能），19年6月24日上线，最近一年使用用户已经达到1.1万+人。☆12Feb 26, 2026Updated 3 weeks ago
- CppCoro Http - http coroutine library for C++☆14Dec 9, 2020Updated 5 years ago
- A sleek, customizable interface for managing LLMs with responsive design and easy agent personalization.☆17Aug 30, 2024Updated last year
- A tiny LM that does inference entirely at compile time☆45Jan 9, 2026Updated 2 months ago
- 💻 Guess code like Wordle with AST nodes as letters 🌳☆49Oct 20, 2025Updated 5 months ago
- a.k.a autoMBW-V2☆10Sep 6, 2024Updated last year
- ☆10Oct 12, 2023Updated 2 years ago
- pytorch implementation of grok☆12Mar 9, 2026Updated last week
- 你的 AI 私人面试官！☆43May 24, 2023Updated 2 years ago
- CQRS Implementation with Spring-Modulith☆20Mar 17, 2025Updated last year
- another c#-like property accessor for C++11 and above.☆16Nov 9, 2024Updated last year
- AI Based "Happiness Optimizer"☆12Oct 20, 2024Updated last year
- 一起来养一只拥有专属记忆的AI猫猫吧！☆10Oct 25, 2024Updated last year
- A Non-Official Rust cross-platform implementation of the FVP engine☆19Mar 10, 2026Updated last week
- This repository contains AI terminology related to prompt and context engineering, with a one-sentence explanation for each term.☆36Jan 6, 2026Updated 2 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Jul 3, 2025Updated 8 months ago
- Authenticated Knowledge & Trust Architecture for AI Agents☆30Dec 17, 2025Updated 3 months ago
- Epistemic protocols for Claude Code — structure human-AI interaction quality at every decision point☆80Updated this week
- RWKV-7 mini☆12Mar 29, 2025Updated 11 months ago
- ☆15Feb 23, 2026Updated 3 weeks ago
- An Attempt At Collecting COVID-19 Related Data Sources and APIs☆10Jun 21, 2020Updated 5 years ago
- ☆33Aug 28, 2025Updated 6 months ago