Pinned Repositories
Capper
A web application server with built-in object capability security built on Node.js/Express
ccb
Compact closed bicategories
GSLT
jscategory
Contract library for javascript based on category theory.
phdthesis
Source files for my thesis
rho4u
New papers about the rho-calculus
thermo
Algorithmic Thermodynamics
metaweta's Repositories
metaweta/jscategory
Contract library for javascript based on category theory.
metaweta/phdthesis
Source files for my thesis
metaweta/Capper
A web application server with built-in object capability security built on Node.js/Express
metaweta/ccb
Compact closed bicategories
metaweta/rho4u
New papers about the rho-calculus
metaweta/thermo
Algorithmic Thermodynamics