Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Repository Index
47,133 repositories indexed
553–576 of 813 · Most stars
A killer modern C++ library for interacting with JSON.
- c-plus-plus
- json
- json-serialization
A curated collection of papers and resources on voice agents, from spoken interaction to autonomous task execution.
Interactive watch mode for Elixir's mix test.
- mix
- mix-test
- mix-task
- watch
Various algorithms visualized interactively on the web, entirely with Rust 🦀
- rust
- yew
- algorithms
- sorting-algorithms
⚡️ A fully-featured and blazing-fast C# API client to interact with Algolia.
- c-sharp
- algolia
- algolia-search
- api-client
Interactive voting results for PHP RFC process.
A list of things related to software, literature, and other content for 🕣 Memento
- webarchiving
- memento
- memento-rfc
- awesome-list
CloudPeek is a lightweight, cross-platform, single-header C++ point cloud viewer. It’s designed for simplicity and efficiency, requiring no heavy libraries like PCL or Open3D. Ideal for visualizing and interacting with 3D data from LiDAR, photogrammetry, or other datasets, CloudPeek delivers powerful, real-time exploration in a minimalistic package
An interactive dialogue editor for narrative designers.
- game-development
- narrative
- writing
- gamemaker
Neovim plugin for interacting with Rust-Analyzer's LSP extensions
ReAlign models instantly, on demand. Per-request alignment for verified users and channels, or Always On. Use directly or with Hermes, OpenClaw and custom harnesses.
Terminal CLI to search and download ROMs, ISOs and Switch games. Interactive Textual UI, cross-platform catalog, resumable downloads.
- cli
- game-downloader
- python
- retro-gaming
PowerShell Module to interact with VirusTotal
A dataset of D&D characters submitted to https://oganm.com/shiny/printSheetApp and https://oganm.com/shiny/interactiveSheet. A superset of characters used in oganm/dndstats
- ogan-dnd
- dungeons-and-dragons
- 5e
- dnd5e
A Macau food recommendation Agent built on Thompson Sampling + StackedPareto weight fusion, with a full evaluation pipeline (5-fold CV, bootstrap CIs, stress tests) on 5,000 simulated users and 100k interactions. Competition entry for the QwenPaw AI Developer Challenge.
Swift Interaction with VIPER Architecture
- viper-template
- swift
- swift-3
- viper
Learning cell communication from spatial graphs of cells
- tensorflow
- gnn
- glm
- cvae
🤖 Repeat tests. Repeat tests. Repeat tests.
- testing
- test
- test-automation
- data-driven
An AUR helper that minimizes user interaction
Tor.rb is a Ruby library for interacting with the Tor anonymity network.
- ruby
- rubygems
- tor
A data-driven API for interactive thematic maps
CoGran - A command line tool for combining data of different spatial granularity
A lightweight component abstraction for D3.js.