A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
1,153–1,176 of 1,745 · Most stars
A notch-style island for GNOME that keeps your day one glance away: music with synced lyrics, notifications, calendar, focus timer, tasks, screen time, a clipboard shelf and an AI assistant that installs and fixes things. In black or glass, and light on your system
- clipboard-manager
- gnome
- gnome-shell-extension
- linux
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Open-source marketing system, designed for coding agents.
ROS package of helper functions related to bringing up roslaunch on system startup.
This is an aspiring project aimed at accumulating knowledge from the world of cybersecurity and presenting it in a cogent way, so it is accessible to as large an audience as possible and so that everyone has a good resource to learn hacking from.
Statistical NLG for spoken dialogue systems
- natural-language-generation
- dialogue
- seq2seq
- python
Open-source, cross-platform AI quota monitor (Codex, Claude, Cursor and 47 more). Windows, macOS, Linux, Android and iOS. Built with Flutter.
Project management and issue tracking system written in PHP.
- php
- project-management
- issue-tracker
- issue-management
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
An entity and spell system c++ godot engine module, for complex (optionally multiplayer) RPGs.
- godot
- engine-module
- multiplayer
- entities
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
A collection of pure GDScript addons for Godot
An intuitive remotely-accessible system performance monitoring and task management tool for servers and headless Raspberry Pi setups.
- sysadmin-tool
- system-monitoring
- performance-analysis
- distributed-computing
Python parser and tools for MUSDB18 Music Separation Dataset
- dataset
- python
- sisec
- musdb
Infrared gesture-based BLE media controller for AtomS3R and PAJ7620U2; C++ firmware, trajectory replay, and documented v24 baseline.
- arduino
- ble-hid
- embedded-systems
- esp32-s3
Cross-platform clone of the FRC Driver Station
- frc
- robotics
- networking
- control-systems
🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥
- javascript
- validation
- validation-library
- validators
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.
- console-development
- graphics
- tool
A powerful and flexible quest management system for the Godot Game Engine
Check if the process is running inside Windows Subsystem for Linux (Bash on Windows)