Pinned Repositories
cassandra-python-driver
YugaByte Python Driver for YugaByte DB's Cassandra compatible YCQL API
CityLearn
CityLearn-2
KopiaTLA
MultiProcess-Merge-Sort
nfp-udp-echo
PBFT-TLA
TLA+ specification of the Practical BFT protocol
remoteTextFileTransfer
A program in C to cater to text file requests by clients on a LAN
tas
TAS is a drop-in highly CPU efficient and scalable TCP acceleration service.
ViewStamped-Replication-TLA
TLA+ specs for ViewStampedReplication
pkj415's Repositories
pkj415/PBFT-TLA
TLA+ specification of the Practical BFT protocol
pkj415/ViewStamped-Replication-TLA
TLA+ specs for ViewStampedReplication
pkj415/KopiaTLA
pkj415/cassandra-python-driver
YugaByte Python Driver for YugaByte DB's Cassandra compatible YCQL API
pkj415/CityLearn-2
pkj415/MultiProcess-Merge-Sort
pkj415/nfp-udp-echo
pkj415/remoteTextFileTransfer
A program in C to cater to text file requests by clients on a LAN
pkj415/TLA-Protocols
TLA+ specifications for distributed protocol and concurrent systems
pkj415/CityLearn
pkj415/tas
TAS is a drop-in highly CPU efficient and scalable TCP acceleration service.
pkj415/benchmarks
Benchmarks we used to evaluate TAS (includes microbenchmarks and two applications)
pkj415/c_packetprocessing
pkj415/cockroach
CockroachDB - the open source, cloud-native distributed SQL database.
pkj415/cs360v-f20
CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
pkj415/Examples
A collection of TLA+ specifications of varying complexities
pkj415/fabric
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
pkj415/firecracker
Secure and fast microVMs for serverless computing.
pkj415/GroupChat
A simple group chat service among clients on LAN
pkj415/libfuse
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
pkj415/MyShell
A shell implementation in C
pkj415/ovs
Open vSwitch
pkj415/parallelSudoku
A parallel backtracking algorithm to solve a sudoku puzzle
pkj415/pkj415.github.io
Part of the Academic Website Workshop
pkj415/raft
C implementation of the Raft consensus protocol
pkj415/recycle_demo
pkj415/tpcc
Repo to run TPCC benchmarks against YugabyteDB
pkj415/yb-sample-apps
Workload generator for emulating various real-world scenarios against YugabyteDB
pkj415/yugabyte-db
The high-performance distributed SQL database for global, internet-scale apps.
pkj415/yugabyte-db-thirdparty
YugabyteDB third-party dependencies. Creating tar.gz archives for CentOS/Ubuntu/macOS, x86_64 architecture.