Discover @keil Open Source projects

Roman Matthias Keil (@keil)

keil

Stars
40
Global Rank 397,826 (Top 14 %)
Followers 4
Following 3
Registered about 14 years ago
Most used languages

JavaScript
61.1 %

PHP
22.2 %

Racket
11.1 %

Java
5.6 %
Location 🇩🇪 Germany
Country Total Rank 17,823
Country Ranking

Racket
39

PHP
3,121

JavaScript
3,221

Java
8,784

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.

JSConTest2

Efficient Access Analysis Using JavaScript Proxies

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.