Pinned Repositories
6.824-lecture-notes
6.824 lecture notes, edited a little and formatted with Markdown
AdaptiveConsistencyDistributedStorage
adaptive consistency tuner
alice
apache-cassandra-1.2.4-src
testing cassandra
bolton-sigmod2013-code
EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
cassandra
Mirror of Apache Cassandra
giraph
Mirror of Apache Giraph
modelCheckingNobi
PCAP
Probabilistic CAP key-value storage systems that adapt in real-time and under changing network conditions to meet consistency and latency SLAs.
YCSB
Yahoo! Cloud Serving Benchmark
muntasirraihan's Repositories
muntasirraihan/PCAP
Probabilistic CAP key-value storage systems that adapt in real-time and under changing network conditions to meet consistency and latency SLAs.
muntasirraihan/giraph
Mirror of Apache Giraph
muntasirraihan/AdaptiveConsistencyDistributedStorage
adaptive consistency tuner
muntasirraihan/apache-cassandra-1.2.4-src
testing cassandra
muntasirraihan/Cirq
A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.
muntasirraihan/cloudsim
CloudSim: A Framework For Modeling And Simulation Of Cloud Computing Infrastructures And Services
muntasirraihan/cocoa
communication-efficient distributed coordinate ascent
muntasirraihan/cocoon
Cocoon: Correct by Construction Networking
muntasirraihan/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.
muntasirraihan/dslabs
Distributed Systems Labs and Framework
muntasirraihan/fission
Fast Serverless Functions for Kubernetes
muntasirraihan/geeps
GPU-specialized parameter server for GPU machine learning.
muntasirraihan/GraphJet
GraphJet is a real-time graph processing library.
muntasirraihan/Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
muntasirraihan/iterstore
High-performacne parameter server for iterative convergent machine learning
muntasirraihan/Java-ML-Interface
muntasirraihan/leetcode-muntasir
programming practice
muntasirraihan/muntasirraihan.github.io
muntasirraihan/music
Multi-site Coordination Platform for Replicated Services
muntasirraihan/onos
Open Network Operating System
muntasirraihan/open-lambda
An open source serverless computing platform
muntasirraihan/QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
muntasirraihan/RLConsistencyControl
muntasirraihan/sdc
Mirror of https://gerrit.onap.org/r/#/admin/projects/sdc
muntasirraihan/serverless-step-functions
AWS Step Functions plugin for Serverless Framework ⚡️
muntasirraihan/software-foundations
Mirror of “Software Foundations”, by Benjamin Pierce et al.
muntasirraihan/spark-sql-perf
muntasirraihan/tutorials
P4 language tutorials
muntasirraihan/webpage
Muntasir's web-page
muntasirraihan/z3
The Z3 Theorem Prover