Stars
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Meaningful control of data in distributed systems.
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…
Map handling framework for automated driving
The most complete DDS - Proven: Plenty of success cases. Looking for commercial support? Contact [email protected]
Git Extensions is a standalone UI tool for managing git repositories. It also integrates with Windows Explorer and Microsoft Visual Studio (2015/2017/2019).
Quilt is a data mesh for connecting people with actionable data
Bake, A build system for building, testing and running C & C++ projects
The Robot Operating System Version 2.0 is awesome!
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
stb single-file public domain libraries for C/C++
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Multiprotocol TX Module (or MULTI-Module) is a 2.4GHz transmitter module which controls many different receivers and models.
Keras implementation of Deeplab v3+ with pretrained weights
Mask R-CNN for object detection and instance segmentation on Keras and TensorFlow
Tensorflow Implementation of the Semantic Segmentation DeepLab_V3 CNN
A detailed tutorial on how to build a traffic light classifier with TensorFlow for the capstone project of Udacity's Self-Driving Car Engineer Nanodegree Program.
Models and examples built with TensorFlow
Golem is creating a global market for computing power.