-
coq Public
Forked from rocq-prover/rocqCoq 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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 21, 2023 -
spec Public
Forked from WebAssembly/specWebAssembly specification, reference interpreter, and test suite.
WebAssembly Other UpdatedAug 26, 2020 -
-
company-coq Public
Forked from cpitclaudel/company-coqIDE extensions for Proof General's Coq mode
Emacs Lisp GNU General Public License v3.0 UpdatedMay 26, 2017 -
RundeckMonitor Public
Forked from Sylvain-Bugat/RundeckMonitorRundeck Monitor is a system tray icon tools that indicates failed and long executions on a Rundeck instance.
Java Apache License 2.0 UpdatedAug 2, 2016 -
NSIDetectionPass Public
This LLVM pass implements a static analysis able to pessimistically answer to the question: "is my function Non Size Increasing" regarding to heap allocations.
LLVM GNU General Public License v3.0 UpdatedApr 25, 2016 -
botjobs Public
Forked from pierreboudes/botjobsgestion de jobs pour des robots via api web
PHP UpdatedOct 2, 2015 -
llvm-pass-skeleton Public
Forked from sampsyo/llvm-pass-skeletonexample LLVM pass
CMake MIT License UpdatedAug 4, 2015 -
jquery-tokeninput Public
Forked from loopj/jquery-tokeninputTokeninput 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 …
JavaScript UpdatedMay 22, 2014 -
gates_bubbles Public
Forked from vlandham/gates_bubblesanimated bubble charts in D3
JavaScript UpdatedFeb 27, 2014 -
KineticJS Public
Forked from ericdrowell/KineticJSKineticJS is an HTML5 Canvas JavaScript framework that extends the 2d context by enabling canvas interactivity for desktop and mobile applications.
JavaScript UpdatedFeb 12, 2014 -
mozmill-tests Public
Forked from RenardAxel/mozmill-testsMozmill tests for Firefox (tests for bug tickets, regression tests, etc.)
JavaScript UpdatedFeb 5, 2014
{{ message }}