Skip to content
View antoniocoratelli's full-sized avatar

Block or report antoniocoratelli

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Zero overhead utilities for preventing bugs at compile time

C++ 1,602 124 Updated Oct 13, 2025

The mpc_local_planner package implements a plugin to the base_local_planner of the 2D navigation stack. It provides a generic and versatile model predictive control implementation with minimum-time…

C++ 631 146 Updated Nov 29, 2022

Compile time mathematic functions for C++14

C++ 188 23 Updated Oct 28, 2021

A Modular Framework for LiDAR-based Lifelong Mapping

C++ 511 81 Updated Feb 18, 2025

Lightweight cross platform C++ GUID/UUID library

C++ 494 151 Updated Jun 7, 2024

Slam Toolbox for lifelong mapping and localization in potentially massive maps with ROS

C++ 2,175 608 Updated Oct 22, 2025

Software package and ROS wrappers of the Aruco Augmented Reality marker detector library

C++ 546 330 Updated Sep 19, 2025

A memory profiler for Linux.

C 4,721 198 Updated Jul 28, 2023

A lightweight tar library written in ANSI C

C 487 108 Updated May 14, 2024

CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.

C++ 3,953 398 Updated Nov 3, 2025

constexpr implementation of SHA-2 and SHA-3 family of hashes

C++ 228 7 Updated Sep 29, 2025

A tool for exploring each layer in a docker image

Go 52,504 1,919 Updated Oct 27, 2025

STM32Cube MCU Full FW Package for the STM32WL series - (HAL + LL Drivers, CMSIS Core, CMSIS Device, MW libraries plus a set of Projects running on boards provided by ST (Nucleo boards)

C 149 67 Updated Oct 27, 2025

In collaboration with the Rust Foundation, Rust Project, and appropriate external stakeholders, make C++ and Rust interoperability easily accessible and approachable to the widest possible audience

64 2 Updated Nov 12, 2024

Pointcloud compression library

C++ 404 22 Updated Oct 21, 2025

A small collection of Kalman Filters on Lie groups

C++ 380 44 Updated Apr 13, 2023

Thin assertion library for use in libraries and business-model

PHP 2,428 187 Updated Oct 13, 2025

Linux kernel source tree

C 206,392 58,241 Updated Nov 5, 2025

PHP library to easily get static image from OpenStreetMap (OSM) with markers, lines, circles and polygons.

PHP 95 21 Updated Dec 3, 2023

Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

Go 7,775 295 Updated Oct 31, 2025

find duplicate files utility

C++ 1,185 91 Updated Sep 12, 2025

Port of OpenAI's Whisper model in C/C++

C++ 44,273 4,891 Updated Nov 1, 2025

Display current Git branch name in your terminal prompt when in a Git working directory.

Shell 2,162 336 Updated Sep 13, 2023

🧟 The modern PHP app server

Go 10,402 399 Updated Nov 4, 2025

Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and m…

C 2,934 105 Updated Oct 31, 2025

Exchange names of two files or directories atomically

C 11 3 Updated Nov 6, 2021

Lie theory for robotics

C++ 204 23 Updated Oct 18, 2024

A tiny, single-header <canvas>-like 2D rasterizer for C++

C++ 428 31 Updated Feb 29, 2024

CUDA Core Compute Libraries

C++ 2,007 285 Updated Nov 5, 2025
Next