A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
25–44 of 44 · Most stars
Simple rating bars, a view similar to the ones seen on Google Playstore. ⭐🌟✨
- android
- android-studio
- android-library
- visualization
:satellite: Render Preact components in (a) SPACE :milky_way: :stars:
StarryStars is iOS GUI library for displaying and editing ratings
⭐️ A tiny library for iOS and macOS to request reviews on the App Store. This is a wrapper around the native SKStoreReviewController.
GoThanks automatically stars Go's official repository and your go.mod github dependencies, providing a simple way to say thanks to the maintainers of the modules you use and the contributors of Go itself.
- go
- golang
- thanks
- open-source
Keeps AI coding agents such as Claude Code, Codex, GitHub Copilot, Gemini CLI and Cursor to the least code that does the job and still works.
- agent-hooks
- ai-coding-agent
- amp
- claude-code
Avatar system for Exokit
⭐️ Web frameworks for Crystal, most starred on Github
- crystal
- crystal-language
- stars
- ranking
MIRNet model is used to enhance a low-light image. Implemented MIR-Net model with TF-Lite.
- tflite
- mirnet
- tensorflow2
- tfhub
The repository host gives no description.
Pulsar is a vibrant, cosmic-inspired dark theme for Omarchy that captures the brilliant energy of neutron stars and celestial phenomena.
Elixir Mix task to starring GitHub repository with `mix deps.get`ting dependent library
- bundle-star
- stars
- mix-tasks
- elixir
Avatar system for Exokit
Ratings Plugin for CakePHP
- ratings
- stars
- reviews
- voting
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
- astronomy
- astronomy-software
- astrophotography
- moving-object-detection
light theme all the way
:stars: Use FlowRouter reactively from polymer components
A system for calculating the results of a battle between two opposing starship fleets on the Golem network. Used in the iOS game Rock Paper Frigate to determine the result of PvP fleet battles.
Favorites Plugin for CakePHP
- favorites
- likes
- rating
- stars