Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1,153–1,176 of 1,710 · Most stars

Allows PS4 games with no PS4 Pro Support to receive patches via illusionyy's ps-patch-system that can unlock higher resolutions

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

debmatic is a project to install the Homematic OCCU on Debian based systems (Debian, Ubuntu, Raspbian, Armbian)

  • homematic
  • occu
  • rpi-rf-mod
  • hm-mod-rpi-pcb

An intuitive remotely-accessible system performance monitoring and task management tool for servers and headless Raspberry Pi setups.

Simplify software testing, by easily mocking any system using HTTP/HTTPS, allowing a team to test and develop against a service that is not complete or is unstable or just to reproduce planned/edge cases.

This is an implementation sketch of the KinectFusion system described by Newcombe et al.

Flexible and composable tile graphics converter supporting Super Nintendo, Game Boy, Game Boy Color, Game Boy Advance, Mega Drive, Master System, Game Gear, PC Engine and WonderSwan formats.

Bitemporal AI memory system: six-variable decay, time-graded recall, TTL expiry, dedupe, competitive retrieval (Neo4j + PostgreSQL + Redis)

Build system in D, Python, Ruby, Javascript or Lua

  • d
  • scripting-language
  • tup
  • ninja

A safe and fast high-level and low-level character input/output library for bare-metal and RTOS based embedded systems with a very small binary footprint.

This repository provides a set of tools and libraries to integrate Intel® OpenVINO™ Toolkit with ROS 2 (Robot Operating System), enabling efficient deployment of deep learning models for computer vision applications on Intel® hardware.