Pitivi is a unique video editor suited for newcomers and professionals. It features hundreds of animated effects / filters / transitions, any GStreamer-supported video file and encoding format, realtime editing, is framerate-independent and very precise, audio processing and volume normalization, Gnome and GES-integration, and allows reliable background processing and has built-in backup functionality.
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++ or Python.
|