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)
☆84Feb 24, 2026Updated 2 months ago
Alternatives and similar repositories for DMMSY-SSSP
Users that are interested in DMMSY-SSSP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A modern, responsive, and feature-rich travel and camping web application built with Next.js, React, and Tailwind CSS. This project provi…☆25Jan 5, 2026Updated 3 months ago
- Real-time guardrails for Claude Code tool calls.☆67Feb 4, 2026Updated 2 months ago
- The code for my Obsidian digtal garden.☆60Apr 7, 2026Updated 3 weeks ago
- Automated loop driver, slash commands, council automation, MCP browser bridge, and portfolio governance for Claude Code CLI☆55Apr 22, 2026Updated last week
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- eVOLVER Hardware (PCB, 3D printed parts)☆11Sep 15, 2025Updated 7 months ago
- ☆79Nov 12, 2025Updated 5 months ago
- Autonomous experiment loop skill for Claude Code — port of pi-autoresearch☆28Mar 18, 2026Updated last month
- 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
- Spartan 3E/Cortex M3 interface board☆17Jun 29, 2012Updated 13 years ago
- Current LeafLabs projects -- demos, etc.☆12Feb 14, 2013Updated 13 years ago
- A lightweight Git history explorer written in Go☆119Apr 7, 2026Updated 3 weeks ago
- TODO Guide for implementing Android Architecture Components in your apps☆10Sep 28, 2018Updated 7 years ago
- A generic parser and tool package for the BTOR2 format.☆48Sep 18, 2025Updated 7 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.
- A Python library for scraping Trustpilot reviews.☆20May 22, 2024Updated last year
- A multithreaded tree-sitter parsing library.☆11Dec 31, 2023Updated 2 years ago
- JavaScript AST interpreter for sandboxed execution☆30Oct 5, 2025Updated 6 months ago
- CppCoro Http - http coroutine library for C++☆14Dec 9, 2020Updated 5 years ago
- Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for com…☆43Feb 25, 2026Updated 2 months ago
- A sleek, customizable interface for managing LLMs with responsive design and easy agent personalization.☆17Aug 30, 2024Updated last year
- ☆15Jul 5, 2024Updated last year
- Library for describing & applying DOM changes (off UI thread)☆19Nov 18, 2017Updated 8 years ago
- Monitor and control your Creality Pi Space (and Plus version) filament dryer using ESP32 and ESPHome.☆25Nov 11, 2025Updated 5 months ago
- 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.
- ☆63Apr 13, 2026Updated 2 weeks ago
- ☆10Oct 12, 2023Updated 2 years ago
- a.k.a autoMBW-V2☆10Sep 6, 2024Updated last year
- cool fetch tool wrote in rust☆11Jun 30, 2025Updated 9 months ago
- ☆72Mar 23, 2026Updated last month
- AI Based "Happiness Optimizer"☆12Oct 20, 2024Updated last year
- A guide to LuaLaTeX☆10Jun 13, 2015Updated 10 years ago
- CQRS Implementation with Spring-Modulith☆20Mar 17, 2025Updated last year
- This repository contains AI terminology related to prompt and context engineering, with a one-sentence explanation for each term.☆37Jan 6, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Authenticated independently verifiable agent delegation.☆32Dec 17, 2025Updated 4 months ago
- ☆15Feb 23, 2026Updated 2 months ago
- Accurate-Cyber-Defense-Assembly-Tool is a lightweight, high-performance cybersecurity utility developed using Assembly and C programming …☆37Jul 31, 2025Updated 8 months ago
- A trading script for KuCoin that continuously places buy and sell orders based on market data and a predictive model by OpenAI's GPT-3.5☆21Mar 24, 2023Updated 3 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Jul 3, 2025Updated 9 months ago
- The GitHub webhooks you deserve☆36Jan 1, 2026Updated 3 months ago
- PWM Input measurement code for the Raspberry Pi Pico PIO☆10Apr 5, 2021Updated 5 years ago