Skip to content
View keil's full-sized avatar
4 followers · 3 following

Block or report keil

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. TreatJS TreatJS Public

    Higher-Order Contracts for JavaScript

    JavaScript 14 1

  2. Contract-Simplification Contract-Simplification Public

    Static Contract Simplification. A PLT Redex model.

    Racket 1 1

  3. DecentJS DecentJS Public

    Transaction-based Sandbox for JavaScript

    JavaScript 1 1

  4. JSConTest2 JSConTest2 Public

    Efficient Access Analysis Using JavaScript Proxies

    JavaScript 1 2

  5. Observer.js Observer.js Public

    Draft implementation of an observer proxy that guarantees projections.

    JavaScript 1

  6. gecko-dev gecko-dev Public

    Forked from of99/gecko-dev

    Transparent Object Proxies for JavaScript

    1