Промышленная реализация алгоритма консенсуса RAFT на C++ на основе brpc, широко используемая внутри Baidu для создания высокодоступных распределённых систем.

Реализация Spp на Golang.

A C++ library of the linear conjugate gradient algorithms

Estimating Copula Entropy and Transfer Entropy

@lisp Функция библиотеки — это открытая, общая и доступная для облачной загрузки библиотека функций AutoLISP. Она создана и поддерживается энтузиастами, которые, как и вы, любят открытое совместное использование. Можно свободно использовать на основе ...

Программа для демонстрации сравнения алгоритмов A* и JPS на основе Cocos Creator 2.4.2.

A Rust library for manipulating curves. Experimental version for embedded platforms (no_std).

Z3 — это инструмент для доказательства теорем от Microsoft Research.

Компонент генерации алгоритма снежинки в рамках IMI-фреймворка.

Прогнозирование структуры спиральной РНК: определение вероятности непарности для заданной последовательности и вторичной структуры РНК.

Котлин: алгоритмы и коллекции.