Discrete Event Simulator for Rust Implementations
☆22Feb 17, 2026Updated 8 months ago
Alternatives and similar repositories for DesCartes
Users that are interested in DesCartes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- How to Write to SSDs (VLDB 2026, Best Research Paper Honorable Mention Award), out-of-place write LeanStore☆28Sep 28, 2026Updated last month
- ☆38Oct 4, 2026Updated 3 weeks ago
- New implementation of protocols☆15Updated this week
- ☆30May 8, 2025Updated last year
- PoC for Paper: BunnyHop Exploiting the Instruction Prefetcher (USENIX Security 2023)☆14Aug 17, 2023Updated 3 years 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.
- ☆10Mar 10, 2024Updated 2 years ago
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- ☆22Oct 12, 2026Updated 2 weeks ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- A reusable, extensible, and efficient C++ implementation of the Foster B-tree data structure☆15Jun 26, 2019Updated 7 years ago
- Disk backed concurrent ART implementation, with optional generations.☆14Nov 8, 2023Updated 2 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆23Feb 12, 2025Updated last year
- 100% MFU or bust.☆11Jan 12, 2026Updated 9 months ago
- ☆21Jul 15, 2024Updated 2 years 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.
- ☆32Nov 7, 2025Updated 11 months ago
- Ever wondered just how fast you can write to stdout?☆17Jul 31, 2026Updated 2 months ago
- ACToR is a powerful, automated, and simple program translation framework.☆17May 20, 2026Updated 5 months ago
- A fetcher hook for the Plato document reader that syncs an e-reader with an OPDS catalogue.☆30Jun 25, 2024Updated 2 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆21Jun 26, 2020Updated 6 years ago
- A personal app platform: one-off software for exactly one user — built, maintained, and operated by LLM agents. Steal the idea before you…☆29Oct 11, 2026Updated 2 weeks ago
- An AI workforce platform: role-specialized agents with multi-provider LLM, MCP, tasks, and a web + CLI UI. You're in charge.☆89Jul 28, 2026Updated 3 months ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A lighweight and parallel snapshot testing framework in rust☆41Aug 17, 2023Updated 3 years ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- ☆11May 12, 2025Updated last year
- Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)☆12Sep 20, 2026Updated last month
- Synchronize Ghidra projects with IDA Pro and Binary Ninja through Redis☆13Oct 23, 2023Updated 3 years ago
- Storage systems with verified correctness properties☆85Updated this week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Nov 30, 2023Updated 2 years ago
- ☆28Mar 4, 2025Updated last year
- Non-Blocking Buddy System☆18May 19, 2023Updated 3 years ago
- 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.
- A fault-tolerant RDMA-based disaggregated key-value store with 1-RTT UPDATEs and GETs thanks to the SWARM replication protocol☆14Sep 25, 2024Updated 2 years ago
- Source code for the SIGMOD '23 paper “Polaris: Enabling Transaction Priority in Optimistic Concurrency Control”☆28Jul 10, 2023Updated 3 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated last year
- Library for building stateful property tests using the proptest crate☆26Oct 15, 2026Updated 2 weeks ago
- Record and replay 🖱 input with precise timing☆17Sep 12, 2022Updated 4 years ago
- A concise AST for POSIX shell☆11Nov 21, 2025Updated 11 months ago
- Adds terraria style hooks to minecraft☆14Sep 7, 2026Updated last month