Shai Caspin's repositories
memory-safe-assembly
Bottom-up memory-safety for assembly language using symbolic execution
APCSA-NCVPS
Programs for APCSA course taken 2016-2017
chrome-assistant
A chrome extension assistant for both professors and students
Language:JavaScript000
comp590-154Project
Barebones code for COMP590-154
000
CS3234
Logic and Formal Systems Labs, Spring 2019 at NUS
Language:Prolog000
ecrts2021-pfl-overheads
Artifact evaluation code for overhead experiments in ECRTS'21 paper "Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads"
rust-stm
Software transactional memory
Apache-2.0000
scaspin.github.io
Bring this back so i can host github pages using url
threadsafe-rbt
A threadsafe red black tree written in Rust.
VEGA
A scalable tour guide to accomplish any task on the web!
Language:HTML000
www
SNS website
Language:SCSS000