Block or report user

Report or block adichad

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Fast, Distributed Graph DB

Go 6,925 495 Updated Nov 17, 2018

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…

OCaml 1,613 291 Updated Nov 17, 2018

Open Source, Distributed, RESTful Search Engine

Java 36,120 12,214 Updated Nov 17, 2018

Vespa - the open big data serving engine

Java 2,638 314 Updated Nov 17, 2018

An Open Source Machine Learning Framework for Everyone

C++ 114,624 69,664 Updated Nov 18, 2018

Plugins that extend Elasticsearch functionality

Java 1 Updated Aug 21, 2017

Elasticsearch plugin for reindexing

Java 108 27 Updated Dec 21, 2016

Plugin to integrate Learning to Rank (aka machine learning for better relevance) with Elasticsearch

Java 603 149 Updated Nov 17, 2018

DeepVis Toolbox

Python 2,826 779 Updated Apr 8, 2018