CypherSmith is a random cypher generator for OpenCypher
☆17Jan 24, 2022Updated 4 years ago
Alternatives and similar repositories for CypherSmith
Users that are interested in CypherSmith are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Booting multi-processors on x86 bare-metal.☆12Feb 25, 2022Updated 4 years ago
- Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University☆12Jun 9, 2019Updated 7 years ago
- #[derive(Future, Stream, Sink, AsyncRead, AsyncWrite, AsyncSeek, AsyncBufRead)] for enums.☆18Updated this week
- Graph Query Language (ISO/IEC 39075) Antlr4 Implementation☆37Aug 9, 2023Updated 3 years ago
- This project has moved to https://github.com/torvalds/linux/tree/master/tools/memory-model☆14Jan 19, 2018Updated 8 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.
- Backup and restore utility for Nebula Graph☆20Mar 15, 2024Updated 2 years ago
- DuckDB is an in-process SQL OLAP Database Management System☆48Jul 1, 2026Updated 2 months ago
- Allows running F# Agents in a distributed manner using Azure Service Bus.☆41Feb 28, 2018Updated 8 years ago
- Mahout入门实例-基 于 Apache Mahout 构建社会化推荐引擎-实战（参考IBM）☆10May 2, 2014Updated 12 years ago
- Collection of benchmark services and tools for NebulaGraph☆45Jun 21, 2024Updated 2 years ago
- Data and code of Machine Learning in Action☆10Feb 4, 2017Updated 9 years ago
- Reference implementations for LDBC Social Network Benchmark's Interactive workload.☆115Mar 26, 2026Updated 6 months ago
- A lightweight tool for detecting bugs on Graph Database Management Systems☆16Jan 9, 2024Updated 2 years ago
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Concurrent inverse Bloom filter.☆15Feb 3, 2015Updated 11 years ago
- NATS unique identifiers☆20Mar 1, 2026Updated 6 months ago
- ☆16Feb 7, 2026Updated 7 months ago
- TLA+ specification for the Raft consensus algorithm☆18Aug 22, 2016Updated 10 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- Synthetic graph generator for the LDBC Social Network Benchmark, running on Spark☆185Apr 6, 2026Updated 5 months ago
- Calculate average score and rating based on Wilson Score Equation☆17Aug 5, 2017Updated 9 years ago
- ANTLR Grammar and related content for GQL.☆51Dec 11, 2025Updated 9 months ago
- clocksource behavior microbenchmarks☆28Updated this week
- 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.
- Trace any method in any assembly in any (live) .NET process!☆11Mar 3, 2016Updated 10 years ago
- Code-Style In-Context Learning for Knowledge-Based Question Answering☆14Mar 3, 2024Updated 2 years ago
- Memory leak detector for rust☆15Jun 28, 2021Updated 5 years ago
- Copy-on-write fork()-like memory dump using Process Snapshotting APIs☆13Jul 23, 2017Updated 9 years ago
- Implementation of the G-CORE graph query language on Spark☆15Aug 25, 2021Updated 5 years ago
- ☆21Oct 25, 2021Updated 4 years ago
- Markdown translation tool.☆18Oct 17, 2022Updated 3 years ago
- Mono.Cecil object model explorer☆13Sep 1, 2016Updated 10 years ago
- ☆14Oct 11, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Query Optimizer Testing Framework for Postgres compatible DBs☆21Apr 29, 2025Updated last year
- Secure auditing of Internet services with Intel SGX☆23Apr 30, 2021Updated 5 years ago
- A source generator for MinimalAPI filters that make use of handler arguments.☆11Updated this week
- A collection of my undergraduate projects☆92Jul 2, 2024Updated 2 years ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆80Nov 27, 2021Updated 4 years ago
- Superion Mutator for AFLPlusPlus☆30Dec 5, 2023Updated 2 years ago
- Carbon programming language spec.☆11Dec 19, 2019Updated 6 years ago