ThomasRuby's repositories
LQICM_pass
A loop quasi-invariant chunk motion pass
botjobs
gestion de jobs pour des robots via api web
company-coq
IDE extensions for Proof General's Coq mode
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
gates_bubbles
animated bubble charts in D3
jquery-tokeninput
Tokeninput is a jQuery plugin which allows your users to select multiple items from a predefined list, using autocompletion as they type to find each item. You may have seen a similar type of text entry when filling in the recipients field sending messages on facebook.
KineticJS
KineticJS is an HTML5 Canvas JavaScript framework that extends the 2d context by enabling canvas interactivity for desktop and mobile applications.
llvm-pass-skeleton
example LLVM pass
mozmill-tests
Mozmill tests for Firefox (tests for bug tickets, regression tests, etc.)
NSIDetectionPass
This LLVM pass implements a static analysis able to pessimistically answer to the question: "is my function Non Size Increasing" regarding to heap allocations.
RundeckMonitor
Rundeck Monitor is a system tray icon tools that indicates failed and long executions on a Rundeck instance.
spec
WebAssembly specification, reference interpreter, and test suite.