tslilyai Goto Github PK

android-bluetoothlegatt

biscuit

Biscuit research OS

coq_scr

Scalable Commutativity Rule proven in Coq

cs262chat

Chat Application for CS262: Introduction to Distributed Systems

data_disguises_lobsters

Lobsters E2E Integration with Edna

docker-lobsters-edna

Lobsters-Edna in a minimal Docker container.

edna

Data disguising and revealing for web applications

embeddedsocial-android-sdk

SDK for interacting with the Microsoft Embedded Social service from inside your Android app

embeddedsocial-java-api-library

Library for interacting with the Microsoft Embedded Social API in your Java code.

evolutionary_islands

CS262 Final Project: Distributed Scheduling for Evolutionary Island Algorithms

go

harvard-maps

hydra

lobsters-edna

Computing-focused community centered around link aggregation and discussion

logical-clocks

lyt-senior-thesis

Senior Thesis

marl-sswapd

A hybrid thread / fiber task scheduler written in C++ 11

msql-srv

Bindings for writing a server that can act as MySQL/MariaDB

pixie-privy

Instant Kubernetes-Native Application Observability

prov-compress

Provenance graph compression.

selfish-routing-survey

slykey

spree_disguising

Open Source headless multi-language/multi-currency/multi-store eCommerce platform

sto_chopped

Software Transactional Objects

tslilyai.github.io

verified-auto-enclave

Verified automatic placement of Intel SGX-like enclaves that provides provable security against low-level attackers.

websubmit-rs

Class submission system