Skip to content
View spmaniato's full-sized avatar
🚗
http://spmaniato.me/about
🚗
http://spmaniato.me/about

Organizations

@VerifiableRobotics @team-vigir @GoaldenHourCornell @FlexBE @KuriRobot

Block or report spmaniato

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

⚡ Zaplib is an open-source library for speeding up web applications using Rust and WebAssembly.

Rust 1,271 39 Updated Mar 25, 2023

The uncompromising Python code formatter

Python 41,559 2,775 Updated Jun 11, 2026

A few things about me and about working with me

2 Updated Aug 25, 2019

GitHub home for the Filecoin Project

52 10 Updated Feb 14, 2019

Arbitrary-Precision Integer Arithmetic

C++ 204 49 Updated Feb 23, 2023

The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.

Python 2,031 457 Updated Jun 9, 2026

web-based visualization libraries

JavaScript 2,308 448 Updated Dec 17, 2022

🖥️ Session manager for tmux, built on libtmux.

Python 4,519 239 Updated Jun 13, 2026

📗 Example tmux configuration - screen + vim key-bindings, system stat, cpu load bar.

Shell 1,869 475 Updated May 24, 2026

37signals Employee Handbook

6,602 768 Updated May 1, 2026

**This project is deprecated** Go to https://gitlab.com/ApexAI/performance_test

64 42 Updated Nov 4, 2019

Documentation for Kuri the adorable home robot.

20 15 Updated Dec 3, 2019

🙈 Volkswagen detects when your tests are being run in a CI server, and makes them pass.

JavaScript 15,447 241 Updated Feb 27, 2026

Example projects to do with a Kuri robot

Python 11 8 Updated Oct 18, 2018

Super-project for modularized Boost

HTML 8,481 1,928 Updated Jun 14, 2026

a fast, scalable, multi-language and extensible build system

Java 25,508 4,509 Updated Jun 13, 2026

Development has been moved to https://github.com/mermaid-js/mermaid-cli

JavaScript 1,090 116 Updated Jul 22, 2023

Library for writing and calling roslaunch files in Python.

Python 10 2 Updated Mar 26, 2018

Handy Scripts For Doing Things

Shell 132 38 Updated Apr 5, 2022

The Robot Operating System Version 2.0 is awesome!

2,117 333 Updated Aug 18, 2023

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…

PHP 71,565 25,027 Updated Jun 13, 2026

INACTIVE: Docker garbage collection of containers and images

Shell 5,021 437 Updated Feb 1, 2021

Create local APT repository with reprepro

Shell 12 5 Updated Nov 8, 2017

Cross compiling toolchains in Docker images

Shell 3,593 423 Updated May 15, 2026

Tools for crosscompiling ROS2 for the Raspberry Pi

Python 49 15 Updated Apr 24, 2018

A good looking terminal emulator which mimics the old cathode display...

QML 25,672 991 Updated May 31, 2026

The Docker CLI

Go 5,908 2,141 Updated Jun 12, 2026

A demo project to demonstrate the usage of client-side certificates

JavaScript 59 29 Updated Aug 1, 2017

Medium's engineering growth visualization tool

JavaScript 762 327 Updated Jul 11, 2023

ansible-lint checks playbooks for practices and behavior that could potentially be improved and can fix some of the most common ones for you

Python 3,875 743 Updated Jun 13, 2026
Next