Pinned Repositories
sto
Software Transactional Objects
coq_scr
Scalable Commutativity Rule proven in Coq
cs262chat
Chat Application for CS262: Introduction to Distributed Systems
edna
Data disguising and revealing for web applications
evolutionary_islands
CS262 Final Project: Distributed Scheduling for Evolutionary Island Algorithms
go
lyt-senior-thesis
Senior Thesis
selfish-routing-survey
SLYkey
tslilyai.github.io
tslilyai's Repositories
tslilyai/edna
Data disguising and revealing for web applications
tslilyai/cs262chat
Chat Application for CS262: Introduction to Distributed Systems
tslilyai/evolutionary_islands
CS262 Final Project: Distributed Scheduling for Evolutionary Island Algorithms
tslilyai/go
tslilyai/SLYkey
tslilyai/tslilyai.github.io
tslilyai/coq_scr
Scalable Commutativity Rule proven in Coq
tslilyai/lyt-senior-thesis
Senior Thesis
tslilyai/selfish-routing-survey
tslilyai/android-BluetoothLeGatt
tslilyai/biscuit
Biscuit research OS
tslilyai/data_disguises_lobsters
Lobsters E2E Integration with Edna
tslilyai/docker-lobsters-edna
Lobsters-Edna in a minimal Docker container.
tslilyai/EmbeddedSocial-Android-SDK
SDK for interacting with the Microsoft Embedded Social service from inside your Android app
tslilyai/EmbeddedSocial-Java-API-Library
Library for interacting with the Microsoft Embedded Social API in your Java code.
tslilyai/harvard-maps
tslilyai/hydra
tslilyai/lobsters-edna
Computing-focused community centered around link aggregation and discussion
tslilyai/logical-clocks
tslilyai/marl-sswapd
A hybrid thread / fiber task scheduler written in C++ 11
tslilyai/msql-srv
Bindings for writing a server that can act as MySQL/MariaDB
tslilyai/pixie-privy
Instant Kubernetes-Native Application Observability
tslilyai/prov-compress
Provenance graph compression.
tslilyai/spree_disguising
Open Source headless multi-language/multi-currency/multi-store eCommerce platform
tslilyai/sto_chopped
Software Transactional Objects
tslilyai/thesis
Thesis stuffs
tslilyai/verified-auto-enclave
Verified automatic placement of Intel SGX-like enclaves that provides provable security against low-level attackers.
tslilyai/websubmit-rs
Class submission system