CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Repository Index
47,133 repositories indexed
193–216 of 295 · Most stars
Automated collection and reporting of citations for used software/methods/datasets
INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.
- grading
- assessment
- education
- e-assessment
Automated mapping of pedestrian networks from aerial imagery tiles
Automated 3D cell detection in very large images
- microscopy
- cell-detection
- deep-learning
- image-analysis
Hardware testing for the software world. Real or virtual, local or remote, human, automated or agentic.
- hardware
- hardware-in-the-loop
- hil
- testing-framework
A Go Mongo library based on the official MongoDB driver, featuring streamlined document operations, generic binding of structs to collections, built-in BSON doc builder, automated field updates, struct validation, hooks, and plugin-based programming.
- go
- mongo
- mongodb
- golang
A Python/Boto script that automates snapshot making of EBS volumes and rotating.
Execution engine powering Flowbaker, a no code platform to build, connect, and automate workflows.
- agents
- ai
- aiagents
- automation
Automated S-expression conversion
A Highly Accessible and Automated Virtualization Platform for Security Education
- cybersecurity
- virtualization
- docker
- virtualbox
Automated Testing for Set-Top Boxes and Smart TVs
- python
- test-automation
- set-top-box
- remote-control
DWARF-aware eBPF tracer for source-level userspace tracing - Explore in a TUI or automate with a scriptable CLI
LÖVE Game Development & Automated Build System ⚡
Ruby driver for httperf - automated load and performance testing
Automated HTML documentation for JSON schemas
🔍A cutting edge context aware GraphQL API fuzzing tool!
- api-testing-framework
- graphql
- api
- automated-testing
Collection of tools and scripts useful to automate microscopy workflows in ZEN Blue using Python and Open Application Development tools and AI tools.
- python
- microscopy
- scripting
- automation
Mostly Automated Synthesis of Correct-by-Construction Programs
🐍🐍🐍 A systematic approach to parse strings and automate the conversion to snake_case, UpperCamelCase or any other case.
- snake-case
- camelcase
- pascalcase
- r
Converts SharePoint Data sources for the MS Flow and PowerApps to a new tenant of your choice.
- powerapps
- sharepoint
- flow
- powerapps-packages
Automated 3D brain registration with support for multiple species and atlases.
- registration
- atlases
- brain
- neuroscience
BugLogHQ is a tool to centralize the handling of automated bug reports from multiple applications. BugLogHQ provides a unified view of error messages sent from any number of applications, allowing the developer to search, graph, forward, and explore the bug reports submitted by the applications.
A proper monster for front-end automated testing