Caffe: a fast open framework for deep learning.

Cross-platform, customizable ML solutions for live and streaming media.

The Z3 Theorem Prover

Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

Seer - a gui frontend to gdb

The IDE for competitive programming 🎉 | Fetch, Code, Compile, Run, Check, Submit 🚀

XLS: Accelerated HW Synthesis

A virtual machine for ESP32, allowing dynamic program updates.

Git Autocomplete is a Far Manager plugin