taustin

Zaphod

Addon for experimental JavaScript engine in Firefox

spartan-gold

A simplified blockchain-based cryptocurrency for experimentation

SJSU-thesis-LaTeX

Thesis template for SJSU

ZaphodFacets

Zaphod integrated with information flow controls

heavy-hitters-postgres-plugin

A plugin for Posgresql providing a heavy hitters data type, following Metwally et al.'s "Efficient Computation of Frequent and Top-k Elements in Data Streams". This plugin is written in Python.

bcl

Starter code for "Bitcoin Lite"

tendermint-sg

A fork of SpartanGold patterned after Tendermint's proof-of-stake

cryptoCreditBureau

blind-signatures

Chaum's Blind Signatures

BytecodeManipulation

coin-locking-sg

A variant of SpartanGold that uses a coin-locking mechanism

cs_298_project

FacetedValuesJS

FWLua

An interpreter of Feather Weight Lua

hardenedLogger

A logging framework using a proof-of-work blockchain to provide tamper resistance.

information-flow

JahmmUtils

Some useful tools for working with JAHMM

LuaPaper

paper for lua

nft-sg

A blockchain prototype supporting non-fungible tokens

scytale

A minimalist implementation of Lua written in Haskell

shared-wealth

spartan-gold-demo

spartan-gold-nft

An implementation of non-fungible tokens (NFTs) using SpartanGold.

stratagem

The Stratagem Programming Language

svv-information-flow

sweet-virtual-values

Extends the JavaScript Proxy API to primitive values

sweet.js

Sweeten your JavaScript.

sweetFacets

tldextract

Extract root domain, subdomain name, and tld from a url, using the Public Suffix List.

vrf-js

Reference implementation of Google Key Transparency VRF