A library of mechanised undecidability proofs in the Coq proof assistant.
Repository Index
47,133 repositories indexed
745–768 of 1,051 · Most stars
Ordered background jobs processing
- ruby
- redis
- lowkiq
- background-jobs
Free, open-source, local alternative to ElevenLabs and Suno. AI sound effects, music with lyrics, text-to-speech and voice cloning on your own GPU (Stable Audio, ACE-Step and more). No account, no credits, offline. Windows/macOS app, HTTP API and a 21-tool MCP server for Claude Code and Cursor.
- local-ai
- mcp
- music-generation
- sound-effects
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Python library for handling audio datasets.
- audio
- speech-recognition
- corpus-tools
- dataset-manager
Blazing fast GraphQL discovery & fingerprinting toolbox.
- discovery
- fingerprinting
- graphql
- graphql-tools
Transforms notifications from the Postgres LISTEN/NOTIFY mechanism into callback execution
GenVue is a hostable, web application that lets confidential users upload and share private files. Tech stack: Net Core 2.0 + Vue.js + Vuex + OpenIddict + Vuetifyjs + EF + SQLServer/Postgress
- vue
- vuejs2
- netcore2
- netcore
The repository host gives no description.
The repository host gives no description.
⚡️ Capacitor plugin for synthesizing speech from text.
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
This is a library that provides generic functionalities for the implementation of imports. In addition to maximum performance and optimized memory consumption, Pacemaker can also be used to implement imports in distributed scenarios that place the highest demands on speed and stability.
- magento
- import
- products
- categories
TranslatedWeChat anti-recall Android APK - captures WeChat messages from the notification bar to keep a permanent record
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
From Idea to Execution - Manage your trading operation across a distributed cluster
- trading
- cryptocurrency
- crypto-trading
- elixir
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
Tips and notes about Blazor and Tailwind
- blazor
- tailwindcss
Detect and log CVE-2019-19781 scan and exploitation attempts.
Open-source Arc alternative for macOS: a Chromium browser for developers with Spaces, a dev command bar and a built-in MCP server for coding agents.
- arc-alternative
- arc-browser
- browser
- chromium
Creates a minimal Express server for testing
A curated list of resources about all things Google Cloud Build
TranslatedWhy not think about what to eat at McDonald's while you work? | Care Plan!