72 Repositories
Rust graph-computation Libraries
Pathfinding library for calculating all node pairs' shortest paths in an unweighted undirected graph.
bit_gossip bit_gossip, named after its implementation technique, is a simple pathfinding library for calculating all node pairs' shortest paths in an
A fast, lightweight and extensible implementation of a graph data structure.
fast-graph A fast, lightweight and extensible implementation of a graph data structure. Note ⚠️ There will be some breaking changes in the coming 1-2
Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
Lean Graph Interactive visualization of dependencies for any theorem/definitions in your Lean project. How to use In your browser: lean-graph.com Or r
Level up your shader game with the GPU + Rust advantage!
Gravy (WIP) Ya know, my momma always said everything's better with Gravy... Gravy is a shader programming framework and toolkit built on the union of
The Fast Vector Similarity Library is designed to provide efficient computation of various similarity measures between vectors.
Fast Vector Similarity Library Introduction The Fast Vector Similarity Library is designed to provide efficient computation of various similarity meas
A pure-rust(with zero dependencies) fenwick tree, for the efficient computation of dynamic prefix sums.
indexset A pure-rust(with zero dependencies, no-std) fenwick tree, for the efficient computation of dynamic prefix sums. Background Did you ever have
A suite of benchmarks to test e-graph extraction algorithms
Extraction Gym A suite of benchmarks to test e-graph extraction algorithms. Add your algorithm in src/extract and then add a line in src/main.rs. To r
Compact, efficient data structures in contiguous byte arrays
Sokoban Compact, efficient data structures in contiguous byte arrays. Benchmarks Based on simple benchmarks, the naive performance of Sokoban data str
Nodium is an easy-to-use data analysis and automation platform built using Rust, designed to be versatile and modular.
Nodium is an easy-to-use data analysis and automation platform built using Rust, designed to be versatile and modular. Nodium aims to provide a user-friendly visual node-based interface for various tasks.
bare-bones "reactive programming" (change propogation) using a central data dependency graph
mini-rx: Tiny reactive programming change propagation a la scala.rx Cargo documentation Example use mini_rx::*; fn example() { // setup let side_ef
Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
zkFHE Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM. A PoC to demonstrate an approach for private computation on
Python library for embedding large graphs in 2D space, using force-directed layouts.
Graph Force A python/rust library for embedding graphs in 2D space, using force-directed layouts. Installation pip install graph_force Usage The first
High-performance asynchronous computation framework for system simulation
Asynchronix A high-performance asynchronous computation framework for system simulation. What is this? Warning: this page is at the moment mostly addr
🔀 Rusty flow graph processing library
flowing flowing is a flow graph processing library written in Rust. It shall serve as a general-purpose building block for all kinds of dataflow progr
Incremental computation through constrained memoization.
comemo Incremental computation through constrained memoization. [dependencies] comemo = "0.1" A memoized function caches its return values so that it
A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms
cozo A general-purpose, transactional, relational database that uses Datalog for query and focuses on graph data and algorithms. Features Relational d
Simple, performant graph generator for Feynman diagrams* ⚛️
Feynman diagram generator ⚛️ A simple generator of "Feynman diagram" permutations (as defined by problem 781). Incrementally builds isomorphically uni
Command-line interface to Microsoft To Do
⚠ This is a hackathon project with no official support or quality guarantee Hackathon 2022 tdi The command-line interface, for some, is the natural wa
An online pipeline for image processing.
carbaseus An online pipeline for image processing. *carbaseus (feminine carbasea, neuter carbaseum)* : first/second-declension adjective 1. made of f
Statistical computation library for Rust
statrs Current Version: v0.15.0 Should work for both nightly and stable Rust. NOTE: While I will try to maintain backwards compatibility as much as po
User-friendly secure computation engine based on secure multi-party computation
CipherCore If you have any questions, or, more generally, would like to discuss CipherCore, please join the Slack community. See a vastly extended ver
Egui node graph is a featureful, customizable library to create node graph applications using egui
Egui node graph is a featureful, customizable library to create node graph applications using egui. The library takes care of presenting a node graph to your users, and allows customizing many aspects of the interaction, creating the semantics you want for your specific application.
Maximizing average happiness privately & securely
mpc-matching Maximizing average happiness privately & securely. What? Suppose there's a group of n ladies and n lads, and they want to be matched in p
Graphite is a digital content creation software package for 2D graphics
Powerful 2D vector and raster editing. Procedural and nondestructive. Graphite is a digital content creation software package for 2D graphics, merging
A simple mandelbrot-computation.
Mandelbrot set We consider the sequence $z_{n+1} = z_n^2 + c$, with $z_0=0$, where $c$ is a complex number. The Mandelbrot set are all $c$ such that t
A Graph implemented using nothing but `Vec`s in rust
VecGraph A Graph implemented using nothing but Vecs in rust. Details The graph is implemented using two Vecs: nodes and edges. nodes stores "nodes". w
Red-blue graph problem solver - Rust implementation
Red-blue graph problem solver - Rust implementation The problem is the following: In a directed graph, each node is colored either red or blue. Furthe
r2d2-cypher is a r2d2 connection pool for rusted-cypher
r2d2-cypher is a r2d2 connection pool for rusted-cypher
Incremental Program Analysis Framework
IncA Overview IncA is a program analysis framework. It comes with a DSL for the definition of program analyses and the runtime system evaluates progra
Tiny Rust library to draw pretty line graphs using ascii characters.
rasciigraph Tiny Rust library to draw pretty line graphs using ascii characters. Usage Add this to your Cargo.toml [dependencies] rasciigraph = "0.1.1
Rust library for of graph ensembles
Rust library for random graph ensembles Minimal Rust version: 1.55.0 Implements simple sampling and monte carlo (or rather markov-) steps, that can be
Graph API client writen in Rust
graph-rs Now available on stable Rust at crates.io graph-rs-sdk = "0.1.0" 0.1.0 and above use stable Rust. Anything before 0.1.0 uses nightly Rust. M
Create, share, fetch and model Atomic Data! This project consists of a graph database + server, a CLI and a rust library.
Create, share, fetch and model Atomic Data! This repo consists of three components: A library, a server and a CLI. atomic-server Status: Beta. Breakin
This repository contains the Rust source code for the algorithms in the textbook Algorithms, 4th Edition
Overview This repository contains the Rust source code for the algorithms in the textbook Algorithms, 4th Edition by Robert Sedgewick and Kevin Wayne.
Gping - Ping, but with a graph
gping 🚀 Ping, but with a graph. Table of Contents Install 💿 Usage 🎷 Install 💿 macOS Homebrew: brew install gping MacPorts: sudo port install gping
A cargo subcommand for creating GraphViz DOT files and dependency graphs
cargo-graph Linux: A cargo subcommand for building GraphViz DOT files of dependency graphs. This subcommand was originally based off and inspired by t
A toolbox for zkSNARKs on Ethereum
ZoKrates ZoKrates is a toolbox for zkSNARKs on Ethereum. This is a proof-of-concept implementation. It has not been tested for production. Getting Sta
Multi Party Key Management System (KMS) for Secp256k1 Elliptic curve based digital signatures.
Key Management System (KMS) for curve Secp256k1 Multi Party Key Management System (KMS) for Secp256k1 Elliptic curve based digital signatures. Introdu
A scalable, distributed, collaborative, document-graph database, for the realtime web
is the ultimate cloud database for tomorrow's applications Develop easier. Build faster. Scale quicker. What is SurrealDB? SurrealDB is an end-to-end
A pure-Rust implementation of various threshold secret sharing schemes
Threshold Secret Sharing Efficient pure-Rust library for secret sharing, offering efficient share generation and reconstruction for both traditional S
A graph crate with simplicity in mind
A graph crate with simplicity in mind. Prepona aims to be simple to use (for users of the crate) and develop further (for contributors). Nearly every
🔥 Unit testing framework for Subgraph development on The Graph protocol. ⚙️
👋 Welcome to Matchstick - a unit testing framework for The Graph protocol. Try out your mapping logic in a sandboxed environment and ensure your hand
Construct graphs from parsed source code
tree-sitter-graph The tree-sitter-graph library defines a DSL for constructing arbitrary graph structures from source code that has been parsed using
A library that can be used as a building block for high-performant graph algorithms.
graph A library that can be used as a building block for high-performant graph algorithms. Graph provides implementations for directed and undirected
An example repository on how to start building graph applications on streaming data. Just clone and start building 💻 💪
An example repository on how to start building graph applications on streaming data. Just clone and start building 💻 💪
A simple and elegant, pipewire graph editor
pw-viz A simple and elegant, pipewire graph editor This is still a WIP, node layouting is kinda jank at the moment. Installation A compiled binary is
🦀 Rust Graph Routing runtime for Apollo Federation 🚀
Apollo Router The Apollo Router is a configurable, high-performance graph router for a federated graph. Getting started Follow the quickstart tutorial
The library provides basic functions to work with Graphviz dot lang from rust code.
Description The library provides the basic access to the graphs in graphviz format with ability to import into or export from it. Base examples: Parse
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
salsa A generic framework for on-demand, incrementalized computation. Obligatory warning Very much a WORK IN PROGRESS at this point. Ready for experim
The Graph is a protocol for building decentralized applications (dApps) quickly on Ethereum and IPFS using GraphQL.
Graph Node The Graph is a protocol for building decentralized applications (dApps) quickly on Ethereum and IPFS using GraphQL. Graph Node is an open s
Finding the shortest and fastest path in the graph to optimize traffic.
Finding the shortest and fastest path in the graph to optimize traffic. Because we don't want to spend unnecessary time searching for the optimal route back to home.
Embedded graph database
CQLite An embedded graph database implemented in Rust. This is currently a pre-release. It has not been extensively tested with 'real-world work-loads
Embedded graph database
CQLite An embedded graph database implemented in Rust. This is currently a pre-release. It has not been extensively tested with 'real-world work-loads
convert markdown headers to graph
Rust Markdown to graph This program converts a Markdown file into a graph. For now, it creates .dot file which graphviz uses to build graph. It transl
Label Propagation Algorithm by Rust. Label propagation (LP) is graph-based semi-supervised learning (SSL). LGC and CAMLP have been implemented.
label-propagation-rs Label Propagation Algorithm by Rust. Label propagation (LP) is graph-based semi-supervised learning (SSL). A simple LGC and a mor
Algorithms and Data Structures of all kinds written in Rust.
Classic Algorithms in Rust This repo contains the implementation of various classic algorithms for educational purposes in Rust. Right now, it is in i
The module graph logic for Deno CLI
deno_graph The module graph/dependency logic for the Deno CLI. This repository is a Rust crate which provides the foundational code to be able to buil
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
A pure-Rust implementation of various threshold secret sharing schemes
Threshold Secret Sharing Efficient pure-Rust library for secret sharing, offering efficient share generation and reconstruction for both traditional S
Graph-based Approximate Nearest Neighbor Search
granne* granne (graph-based retrieval of approximate nearest neighbors) is a Rust library for approximate nearest neighbor search based on Hierarchica
Simple but powerful graph library for Rust
Graphlib Graphlib is a simple and powerful Rust graph library. This library attempts to provide a generic api for building, mutating and iterating ove
A graph library for Rust.
Gamma A graph library for Rust. Gamma provides primitives and traversals for working with graphs. It is based on ideas presented in A Minimal Graph AP
Graph data structure library for Rust.
petgraph Graph data structure library. Supports Rust 1.41 and later. Please read the API documentation here Crate feature flags: graphmap (default) en
GraphScope: A One-Stop Large-Scale Graph Computing System from Alibaba
A One-Stop Large-Scale Graph Computing System from Alibaba GraphScope is a unified distributed graph computing platform that provides a one-stop envir
Extreme fast factor expression & computation library for quantitative trading in Python.
Extreme fast factor expression & computation library for quantitative trading in Python.
Highly parallelized, blazing fast directory tree analyzer
Parallel Disk Usage (pdu) Highly parallelized, blazing fast directory tree analyzer. Description pdu is a CLI program that renders a graphical chart f
Comprehensive DSP graph and synthesis library for developing a modular synthesizer in Rust, such as HexoSynth.
HexoDSP - Comprehensive DSP graph and synthesis library for developing a modular synthesizer in Rust, such as HexoSynth. This project contains the com
2D polyline/shape library for offsetting, combining, etc.
This project is a continuation of the C++ CavalierContours library rewritten in Rust with the goal of building out more functionality, better
Leetcode Solutions in Rust, Advent of Code Solutions in Rust and more
RUST GYM Rust Solutions Leetcode Solutions in Rust AdventOfCode Solutions in Rust This project demostrates how to create Data Structures and to implem
A small charting/visualization tool and partial vega implementation for Rust
Gust A charting library for rust! Disclaimer This is still very much a work in progress! APIs are very unstable and subject to change. Contributions a
Statistical computation library for Rust
statrs Current Version: v0.13.0 Should work for both nightly and stable Rust. NOTE: While I will try to maintain backwards compatibility as much as po
browse modules by clicking directly on "import" statements on GitHub ⛺
Module Linker Module Linker adds direct links in the GitHub source code viewer, to any imported modules or files. If you're browsing source code on Gi