Open-source event management, ticketing and membership platform for communities, clubs, independent venues and independent artists.
- django
- django-ninja
- eu-vat
- event-management
Repository Index
47,133 repositories indexed
25–39 of 39 · Most stars
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
Convert Haskell source code to Coq source code.
- coq
- haskell
A turf.js-like geospatial analysis library working with GeoJSON, written in pure Dart.
The Penn Locally Nameless Metatheory Library
Synchronize files or folders locally, with a watch option
API Framework supporting REST and RPC.
- rpc
- rpc-framework
- rest-api
- performant
🕵️♀️ Find, locate, and query files for ops and security experts ⚡️⚡️⚡️
⚽ Live football(soccer) scores, fixtures and standings for the competition you follow (World Cup, Premier League, LALIGA, Champions League and 12 more) in your terminal, your Claude Code and Cursor CLI statusline, and MCP clients. No API key. Independent fan project. Not affiliated with FIFA, any confederation, league or club, or Anthropic.
- claude-code
- cli
- football
- futbol
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Infopoint for ##remotes on freenode
The repository host gives no description.
🚘 Website for the Triumph Mayflower Club, launched in March 2018 #goodfirstproject #fledgelingdevswelcome
- cars
- classic-cars
- club
- club-website
iOS Scriptable widget showing real-time gym capacity for ClubConnector gyms
A CTF platform for The Many Hats Club