Search Results for "python::module"

...The project comes ready with classic applications of instrumentation, such as AOP (Aspect Oriented Programming), Concern and Side Effect injection, stack tracing, exception tracing, basic time profiling, callgraph profiling and other. A GC (Garbage Collector) module is also under development. Libinstrument is highly portable and decoupled. The project comes with a CMake build system, integration with IDEs (CLion, Eclipse e.t.c) is straightforward. Using lazy algorithms there is virtually zero overhead in benchmarks and minimum overhead in execution time. Libinstrument tries to be as non-intrusive as possible, while trying to help the developer offering basic reflection. ...

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

...Extensible security module

...It runs on the jvm so you are not limited by environment. You can run it on your laptop, company server or even on a cloud service like AWS. It supports Java, Ruby, Python, JavaScript, Groovy, Clojure. Source include so it is easy to hack so you can modify it for your own need.

Our goal is to find out useful and funny ways for expanding the possibilities of many FOSS by integrating them with other FOSS and proprietary systems. You'll find here many open source plugins and extensions useful to put those FOSS hermits together.

A commercially supported, open-source distribution of the popular web application test automation tool Selenium Remote Control. Built by the original author of the Selenium, Sauce RC is easy to install and has the latest fixes and browser support.