Muntasir Raihan Rahman's repositories

PCAP

Probabilistic CAP key-value storage systems that adapt in real-time and under changing network conditions to meet consistency and latency SLAs.

Language:HTMLLicense:Apache-2.0Stargazers:5Issues:2Issues:0

giraph

Mirror of Apache Giraph

Language:JavaLicense:Apache-2.0Stargazers:1Issues:3Issues:0

AdaptiveConsistencyDistributedStorage

adaptive consistency tuner

Language:PythonStargazers:0Issues:2Issues:0
Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

Cirq

A python framework for creating, editing, and invoking Noisy Intermediate Scale Quantum (NISQ) circuits.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cloudsim

CloudSim: A Framework For Modeling And Simulation Of Cloud Computing Infrastructures And Services

Language:JavaStargazers:0Issues:1Issues:0

cocoa

communication-efficient distributed coordinate ascent

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

cocoon

Cocoon: Correct by Construction Networking

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

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.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

dslabs

Distributed Systems Labs and Framework

Language:JavaStargazers:0Issues:2Issues:0

fission

Fast Serverless Functions for Kubernetes

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

geeps

GPU-specialized parameter server for GPU machine learning.

Language:C++License:BSD-3-ClauseStargazers:0Issues:2Issues:0

GraphJet

GraphJet is a real-time graph processing library.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

Language:C#Stargazers:0Issues:2Issues:0

iterstore

High-performacne parameter server for iterative convergent machine learning

Language:C++Stargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0

leetcode-muntasir

programming practice

Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:2Issues:0

music

Multi-site Coordination Platform for Replicated Services

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

onos

Open Network Operating System

Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

open-lambda

An open source serverless computing platform

Language:GoLicense:Apache-2.0Stargazers:0Issues:2Issues:0

QuantumKatas

Tutorials and programming exercises for learning Q# and quantum computing

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

sdc

Mirror of https://gerrit.onap.org/r/#/admin/projects/sdc

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

serverless-step-functions

AWS Step Functions plugin for Serverless Framework ⚡️

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

software-foundations

Mirror of “Software Foundations”, by Benjamin Pierce et al.

Language:HTMLStargazers:0Issues:2Issues:0
Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

tutorials

P4 language tutorials

Language:P4License:Apache-2.0Stargazers:0Issues:0Issues:0

webpage

Muntasir's web-page

Stargazers:0Issues:2Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0