A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Repository Index
47,133 repositories indexed
457–480 of 1,195 · Most stars
Geo-related tools PHP 7.3+ library built atop Geocoder and React libraries
- php
- geolocation
- geotools
- geo
How to Copy Text from Images ? Answer is TextSnatcher !. Perform OCR operations in seconds on Linux Desktop.
A modern, high-performance local file search and productivity tool for Windows. A sleek, customizable alternative to Everything and Listary built with C# WPF and NT Services, featuring instant NTFS MFT parsing, real-time USN monitoring, and plugin support.
- application-launcher
- desktop
- efficiency
- everyting
The One CD for All {applications, platforms, operations}
An optimal trajectory planner considering distinctive topologies for mobile robots based on Timed-Elastic-Bands (ROS Package)
- ros
- mobile-robots
- navigation
- trajectory-optimization
A quick reference cheat sheet for common, high level topics in Objective-C.
- objective-c
- ios
- cheatcheat
- cheatsheets
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
AI-ready reference architecture for Angular / ASP.NET Core projects. A hardened foundation with secure authentication, authorization, role and user management, and consistent patterns designed to be safely extended by AI tools. Stop letting AI hallucinate your auth and DB logic - give it a production-grade foundation to build on.
- template-project
- asp-net-core
- angular
- rapid-development
🚀 Build .NET desktop applications using HTML, CSS and javascript.
- chromium
- mvvm
- c-sharp
- vue
The Linux PowerTOP tool -- please post patches to the mailing list instead of using github pull requests
A framework to build Slack apps using Python
- slack
- slack-api
- bolt
- web-api
Full featured multi arch/os debugger built on top of PyQt5 and frida
- frida
- pyqt5
- reverse-engineering
- cracking
RetroDECK is a powerful all-in-one retro gaming platform designed for handheld gaming PCs like the Steam Deck, full Linux desktops, Linux HTPC setups, and Linux-based PC consoles such as the Steam Machine.
Declarative UI framework for cross-platform mobile & desktop apps, using MVU and functional programming in F#
- declarative-ui
- fabulous
- fsharp
- mvu
open source test management system with over 2 million downloads!
- testing
- testing-tools
- management
- qa-team
A Terraform / OpenTofu state migration tool for GitOps
Wallpaper Engine wallpapers on your Mac. A free, open-source app that plays scene, video and web wallpapers from the Steam Workshop. Apple silicon, macOS 15+.
- animated-wallpaper
- apple-silicon
- live-wallpaper
- lock-screen
A Kubernetes operator for declarative database schema management (gitops for database schemas)
- database-schema
- database-management
- kubernetes
- kubernetes-operator
Cross-platform (desktop, mobile, console, web) 3D and 2D game engine. Powerful visual editor. Support for glTF, X3D, IFC and more. Fast clean code using modern Pascal. Free and open-source.
- pascal
- 2d-game-engine
- 3d-game-engine
- game-engine
An x-cursor theme inspired by macOS and based on KDE Breeze. Designed to pair well with my icon pack, La Capitaine.
- theme
- capitaine-cursors
- cursor-theme
- gnu-linux
React-like desktop GUI toolkit for Go
- cocoa
- fltk
- golang
- gui
Java monitoring for the command-line, profiler included
Add a global delay to Command-Q to stop accidental app quits.
- shortcut
- macos
- utility
- keyboard-shortcut