Muntasir Raihan Rahman's repositories
AdaptiveConsistencyDistributedStorage
adaptive consistency tuner
apache-cassandra-1.2.4-src
testing cassandra
Cirq
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
distributed-graph-analytics
Distributed Graph Analytics (DGA) is a compendium of graph analytics written for Bulk-Synchronous-Parallel (BSP) processing frameworks such as Giraph and GraphX. The analytics included are High Betweenness Set Extraction, Weakly Connected Components, Page Rank, Leaf Compression, and Louvain Modularity.
GraphJet
GraphJet is a real-time graph processing library.
leetcode-muntasir
programming practice
open-lambda
An open source serverless computing platform
QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
serverless-step-functions
AWS Step Functions plugin for Serverless Framework ⚡️
software-foundations
Mirror of “Software Foundations”, by Benjamin Pierce et al.
z3
The Z3 Theorem Prover