Search Results for "kernel-module-ntfs"

...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

Inotifyfs is a set of scripts, primarily on bash to allow user keep remote and local folders synced in real time in efficient way based on inotify kernel evens and function in user space.

Web-based relational database designer. With version control, autosave and real-time database manipulation. TODO: admin module, search, undo/redo buttons, multi-database real-time support (only PostgreSQL actually), etc. Based on WWWSQLDesigner

ODic stands for "Options Dictionary" and aims at creating standards for easier command line tool creation. At the moment it is focused on the 'odic' python module including new design patterns for python main functions.