zrythm / zrythm

a highly automated and intuitive digital audio workstation - official mirror

fzi-forschungszentrum-informatik / Lanelet2

Map handling framework for automated driving

NeoGeographyToolkit / StereoPipeline

The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured from orbiting and landed robotic explorers on other planets.

esbmc / esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

meganz / MEGAsync

Easy automated syncing between your computers and your MEGA Cloud Drive

cmu-sei / pharos

Automated static analysis tools for binary programs

rburkholder / trade-frame

C++ 17 based library (with sample applications) for testing equities, futures, currencies, etfs & options based automated trading ideas using DTN IQFeed real time data feed and Interactive Brokers (IB TWS API) for trade execution. libtorch/lstm/cuda demo. Support for Alpaca & Phemex. Notifications via Telegram.

S2E / s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

crypto-chassis / ccapi

A header-only C++ library for interacting with crypto exchanges. Bindings for Python, Java, C#, Go, and Javascript are provided.