There are no reviews yet. Be the first to send feedback to the community and the maintainers!
TreatJS
Higher-Order Contracts for JavaScriptRegEx
Efficient Solving of Regular Expression InequalitiesTbDA
Type-based Dependency AnalysisphpLogger
php loggerphpDBI-MySQL-Database-Interface-
mysql database interfacephpApplication
php package loaderPure.js
Pure JavaScrip FunctionsContract-Simplification
Static Contract Simplification. A PLT Redex model.JSConTest2
Efficient Access Analysis Using JavaScript ProxiesphpDebugger
php debuggerTransparentProxy-Testsuite
Testsuite for Transparent Proxy ImplementationSandbox
A JavaScript Sandbox.TransparentProxy.js
Polyfill for transparent object proxies in JavaScript.DecentJS
Transaction-based Sandbox for JavaScriptTreatJS-Online
Online TreatJS Testing ToolTreatJS-Contracts
A PLT Redex model for TreatJS Contracts.Observer.js
Draft implementation of an observer proxy that guarantees projections.Love Open Source and this site? Check out how you can help us