keil/JSConTest2

Stars
1
Language
JavaScript
License
Other
Created over 10 years ago
Updated over 10 years ago

keil/JSConTest2

keil

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Efficient Access Analysis Using JavaScript Proxies

TreatJS

Higher-Order Contracts for JavaScript

RegEx

Efficient Solving of Regular Expression Inequalities

TbDA

Type-based Dependency Analysis

bpm

Beats Per Minute

phpLogger

phpDBI-MySQL-Database-Interface-

mysql database interface

phpApplication

php package loader

Pure.js

Pure JavaScrip Functions

Contract-Simplification

Static Contract Simplification. A PLT Redex model.

phpDebugger

TransparentProxy-Testsuite

Testsuite for Transparent Proxy Implementation

Sandbox

A JavaScript Sandbox.

TransparentProxy.js

Polyfill for transparent object proxies in JavaScript.

DecentJS

Transaction-based Sandbox for JavaScript

TreatJS-Online

Online TreatJS Testing Tool

TreatJS-Contracts

A PLT Redex model for TreatJS Contracts.

Observer.js

Draft implementation of an observer proxy that guarantees projections.