legrosbuffle Goto Github PK

capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

chip-buildroot

clang-tools-extra

Mirror of official clang-tools-extra git repository located at http://llvm.org/git/clang-tools-extra. Updated every five minutes.

dlang.org

Pages for the dlang.org website, home of the D Programming Language

dmd

dmd D Programming Language compiler

druntime

Low level runtime library for the D programming language

fast-floating-point-sampling

Example code for http://somebod.com/wp3/2012/08/fast-floating-point-sampling/

flann

Fast Library for Approximate Nearest Neighbors

gemmlowp

Low-precision matrix multiplication

kythe

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

laby

Solving Hanayama Cast Laby in C++

lean

Lean Theorem Prover

legrosbuffle.github.io

libcint

general GTO integrals for quantum chemistry

libresample

Real-time library for sample rate conversion

libxsmm

Library targeting Intel Architecture for specialized dense and sparse matrix operations, and deep learning primitives.

linux

Linux kernel source tree

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

numexpr

Fast numerical array expression evaluator for Python, NumPy, PyTables, pandas, bcolz and more

opencv

Open Source Computer Vision Library

or-tools

Google's Operations Research tools

pegged

A Parsing Expression Grammar (PEG) module, using the D programming language.

phobos

The standard library of the D programming language

polygons

A playable post on how harmless choices can make a harmful world.

protobuf

Protocol Buffers - Google's data interchange format

re2

RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

share-to-mopidy

Android app to send songs to mopidy

tensorflow

Computation using data flow graphs for scalable machine learning

vmaf

Perceptual video quality assessment based on multi-method fusion.

waiterstray

A solver for the Waiter's Tray puzzle