Cross-Platform Production-ready C++ inference engine for YOLO models (v5-v12, YOLO26). Unified API for detection, segmentation, pose estimation, OBB, and classification. Built on ONNX Runtime and O…

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

A small C++11 header-only library for Lie theory.

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

Thin, unified, C++-flavored wrappers for the CUDA APIs

RISC-V XV6/Linux SoC, marchID: 0x2b

Lean 4 interface to Eigen

Lean 4 programming language and theorem prover

Waymo Open Dataset

Open standard for machine learning interoperability

Formalization of Mathematical Logic

PCL (Point Cloud Library) ROS interface stack

LLM training in simple, raw C/CUDA

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Point Cloud Library (PCL)

C++ wrapper for gnuplot

Owl - OCaml Scientific Computing @ https://ocaml.xyz

A c++ trainable semantic segmentation library based on libtorch (pytorch c++). Backbone: VGG, ResNet, ResNext. Architecture: FPN, U-Net, PAN, LinkNet, PSPNet, DeepLab-V3, DeepLab-V3+ by now.

Imaging, analysis, and simulation software for radio interferometry

Support Vector Machines Implementation from scratch in C++

A lightweight monocular SLAM written in C++

⚡ The Mobile Robot Programming Toolkit (MRPT)

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Repository for OpenCV's extra modules

Installation instructions and basic examples regarding the tutorial "Geomstats: a Python package for Riemannian Geometry and Geometric Statistics", presented at Instituto de Matemáticas UNAM

Computations and statistics on manifolds with geometric structures.

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

A C++ header-only library of statistical distribution functions.

A small C++ implementation of LSTM networks, focused on OCR.