Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Repository Index
57,637 visible repositories in the index
1,057–1,080 of 1,319 · Most stars
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Drop-in replacement for MUI's MenuItem with infinitely nested menus, and open on hover
Scalable stateless «zero config» service-name ingress for docker swarm mode with a fresh more secure approach
- docker-swarm-mode
- tls
- encryption
- swarm-router
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
A Visual Studio for Mac code coverage extension.
- visual-studio-for-mac
- visual-studio
- vsmac-codecoverage
- visual-studio-extension
Flare is a lightweight, developer-friendly Swift framework that simplifies working with in-app purchases. It provides a clean, unified API over StoreKit and StoreKit 2, includes async/await-ready workflows, and offers built-in UI components for a seamless integration experience.
- iap
- in-app-purchases
- macos
- swift
Low latency, web based, open source, high quality, voice-over-ip intercom solution
- intercom
- voice
- voip
- broadcast
With a subtle glass-like blur that melts into the background, Ayaka highlights your workspace without overwhelming it. Vibrant accents breathe life into the dark base, striking a perfect balance of minimalism and color.
Nixpkgs overlay with Firefox binary builds for macOS
Thin wrapper over Nuklear for Common Lisp
Publish and discover services using Bonjour
Veganify is a modern webapp that allows you to easily scan EAN barcodes to check if a product is vegan-friendly. With a database of over 3 million products, you can quickly find out if your favorite foods and products are suitable for a vegan diet.
- scanner
- barcode
- html5
- javascript
A simple, cross-platform, and continuously integrated C++14 project template
- cpp
- cpp14
- cmake
- project-template
MQTT v5.0 full in Rust
A collection of over 140+ accessible, headless primitives and beautifully-designed components for Blazor built with shadcn/ui design principles.
A port of the Twenty Nineteen WordPress Theme over to Gatsby
Bind/Reverse Shells, SOCKS, etc over Tor in Golang
- tor
- ethical-hacking
- reverse-shell
- bind-shell
A thin veneer over HTTPotion that talks to Elastic Search
Library add improve test log for RSpec and WebMock, validate its according to API Blueprint and Open API, show the documentation coverage with log.
- api-blueprint
- rspec
- drafter
- json-schema
🇪🇺 Warehouse-native Analytics compatible with Google Analytics and Matomo tracking protocols. Ingest into ClickHouse, BigQuery or CSV/Parquet on S3/GCS/local fs while maintaining complete control over your data.
- clickhouse
- ga4
- tracker
- bigquery
Node.js Controller and MQTT API for Anki Overdrive
Library to import and display simple SVGs in LÖVE.
Share the LÖVE - A networking library that leverages bitser and enet