8000 keil (Roman Matthias Keil) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View keil's full-sized avatar
5 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

Stars

Showing results

whiteboxservices / hr-devops

Git repository with instructions for Platform Engineer interview

Dockerfile 1 Updated May 22, 2025

smarty-php / smarty

Smarty is a template engine for PHP, facilitating the separation of presentation (HTML/CSS) from application logic.

PHP 2,318 720 Updated May 27, 2025

keil / gecko-dev

Forked from of99/gecko-dev

Transparent Object Proxies for JavaScript

1 Updated Mar 22, 2017

of99 / gecko-dev

Forked from mozilla/gecko-dev

Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. Please don't submit PRs, see: https://developer.mozilla.org/en-US/docs/Mercurial_FAQ#I%27m_all_used_to_git.2C_but…

1 1 Updated Feb 24, 2017

keil / TreatJS

Higher-Order Contracts for JavaScript

JavaScript 14 1 Updated Mar 24, 2017

pegjs / pegjs

PEG.js: Parser generator for JavaScript

JavaScript 4,884 420 Updated Nov 8, 2021

keil / TransparentProxy.js

Polyfill for transparent object proxies in JavaScript.

JavaScript 1 Updated Jul 27, 2016

keil / Contract-Simplification

Static Contract Simplification. A PLT Redex model.

Racket 1 1 Updated Jun 29, 2016

keil / Observer.js

Draft implementation of an observer proxy that guarantees projections.

JavaScript 1 Updated Jul 13, 2016

keil / Pure.js

Pure JavaScrip Functions

JavaScript 1 Updated Apr 29, 2016

keil / TransparentProxy-Testsuite

Testsuite for Transparent Proxy Implementation

JavaScript 1 Updated Apr 28, 2016

keil / DecentJS

Transaction-based Sandbox for JavaScript

JavaScript 1 1 Updated May 31, 2017

jdittrich / mailmanTemplateCollection

Nice Templates for Mailman 2

HTML 1 2 Updated Feb 19, 2021

brownplt / LambdaJS

Semantics and tools for JavaScript

JavaScript 91 17 Updated Feb 27, 2022

ngsankha / js-tproxy

spidermonkey fork for transparent proxies

C++ 3 1 Updated Jul 18, 2014

keil / TreatJS-Online

Online TreatJS Testing Tool

JavaScript 1 1 Updated Sep 17, 2014

keil / TreatJS-Contracts

A PLT Redex model for TreatJS Contracts.

Racket 1 Updated Aug 19, 2014

keil / TbDA

Type-based Dependency Analysis

JavaScript 3 1 Updated Jun 4, 2014

keil / Sandbox

A JavaScript Sandbox.

JavaScript 1 Updated Mar 21, 2016

keil / bpm

Beats Per Minute

Java 2 1 Updated Jun 17, 2012

keil / JSConTest2

Efficient Access Analysis Using JavaScript Proxies

JavaScript 2 2 Updated Jun 3, 2014

keil / RegEx

Efficient Solving of Regular Expression Inequalities

JavaScript 4 Updated Jun 3, 2014

keil / phpApplication

php package loader

PHP 1 Updated Dec 24, 2010

keil / phpDBI-MySQL-Database-Interface-

mysql database interface

PHP 2 Updated Sep 3, 2010

keil / phpDebugger

php debugger

PHP 1 Updated Dec 24, 2010

keil / phpLogger

php logger

PHP 2 Updated Dec 24, 2010
0