Stars
Peripheral abstraction layer for the NVIDIA Jetson devices in Rust
Kiri is a visual tool designed for reviewing schematics and layouts of KiCad projects that are version-controlled with Git.
LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
A generative world for general-purpose robotics & embodied AI learning.
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
This repo is archived in favor of https://github.com/Imperial-Diplomacy/DiplomacyGM which continues this work under the official ImperialDiplomacy organization.
Robust Binary Search provides a binary search implementation which is robust against errors during the search.
A reviewed list of useful PHP static analysis tools
This repository contains multiple approaches for generating global racetrajectories.
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
Regula checks infrastructure as code templates (Terraform, CloudFormation, k8s manifests) for AWS, Azure, Google Cloud, and Kubernetes security and compliance using Open Policy Agent/Rego
SadServers: Linux & DevOps Troubleshooting Scenarios SaaS
Scratch-Containerised Rust GraphQL-API using Dataloaders
Super-fast/easy runtime validators and serializers via transformation
Using a pre-commit hook, Talisman validates the outgoing changeset for things that look suspicious — such as tokens, passwords, and private keys.
TeX line breaking algorithm in JavaScript
a structural diff that understands syntax 🟥🟩
Let's upgrade cheap off-the-shelf robotic mowers to modern, smart RTK GPS based lawn mowing robots!