fracting

sku-clustering

ConsHoTT

Constructive Interpretations of HoTT

cpp_dependency_graph_minimal

cubical

dash

Dash - Reinventing Cryptocurrency

docs

docs.konghq.com

:monkey: Source code for docs.konghq.com website

dsss18

Lecture material for DeepSpec Summer School 2018

elasticsearch

Open Source, Distributed, RESTful Search Engine

lda_ex

Lean-game-maker

This project converts structured Lean code into an interactive browser game.

libsession-util

Session utilities library

lightfm

A Python implementation of LightFM, a hybrid recommendation algorithm.

mathlib

Lean mathematical components library

MINGW-packages

Package scripts for MinGW-w64 targets to build under MSYS2.

ml-recsys-tools

MSYS2-packages

Package scripts for MSYS2.

natural_number_game

Building the natural numbers in Lean.

NLP-progress

Repository to track the progress in Natural Language Processing (NLP), including the datasets and the current state-of-the-art for the most common NLP tasks.

oxen-docs-gitbook

Mirror of the Gitbook docs

pandoc-templates

practical-fm

A gently curated list of companies using verification formal methods in industry

pretrained-models.pytorch

Pretrained ConvNets for pytorch: NASNet, ResNeXt, ResNet, InceptionV4, InceptionResnetV2, Xception, DPN, etc.

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

react-mentions

@mention people in a textarea

session-android

A private messenger for Android.

session-desktop

Session Desktop - Onion routing based messenger

session-ios

A private messenger for iOS.

TileNet

A two-dimensional generalization for Recurrent Neural Network