Repository Index

Cosette is an automated SQL solver.

• rosette
• coq
• sql
• database

Firedrake is an automated system for the portable solution of partial differential equations using the finite element method (FEM)

Appium Server setup to automate android testing on real devices

• android
• docker
• appium
• docker-container

xlsx generation with charts, images, automated column width, customizable styles and full schema validation. Axlsx excels at helping you generate beautiful Office Open XML Spreadsheet documents without having to understand the entire ECMA specification. Check out the README for some examples of how easy it is. Best of all, you can validate your xlsx file before serialization so you know for sure that anything generated is going to load on your client's machine.

• ruby
• ruby-gem
• excel-export
• excelwriter

The Agentic Scientist: Orchestrating Coding Agents for Automated Scientific (Co-)Discovery

Automated, pre-built packages for Wayland (sway/wlroots) tools for NixOS. [maintainers=@colemickens, @Artturin]

• nixpkgs
• nixos
• sway
• wayland

Automated Attack Simulation in the Cloud, complete with detection use cases.

Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.

• security-tools
• security
• attestation
• verification

CuckooDroid - Automated Android Malware Analysis with Cuckoo Sandbox.

Automated tests for your CSS.

• python
• css
• screenshot
• testing

✅ List of Automated Testing (TDD/BDD/ATDD/SBE) Tools and Frameworks for .NET

• tdd
• test-driven-development
• dotnet
• atdd

A Redis based, fully automated and scalable database cache layer for Laravel

• php
• laravel
• cache
• caching

ACH implements a reader, writer, and validator for Automated Clearing House (ACH) files. The HTTP server is available in a Docker image and the Go package is available.

• ach
• automated-clearing-house
• money
• golang-library

Trady is a handy library for computing technical indicators, and it targets to be an automated trading system that provides stock data feeding, indicator computing, strategy building and automatic trading. It is built based on .NET Standard 2.0.

• strategy
• technical
• analysis
• stock

Automate Data Exploration and Treatment

• cran
• data-analysis
• visualization
• r

Automated Virtual Machine Generation and Cloaking for Cuckoo Sandbox.

Self-host Supabase with Nginx/Caddy and Authelia with just ONE bash script.

• authelia
• caddy
• self-hosted
• supabase

C#/.NET test automation framework for web

• selenium
• webdriver
• test-automation
• csharp

Automate & manage your Pocket.com collection.

• python
• command-line-tool
• getpocket

A composable, real time, market data and trade execution toolkit. Built with Elixir, runs on the Erlang virtual machine

• trading
• trading-bot
• trading-systems
• cryptocurrency

Accelerate your Neural Architecture Search (NAS) through fast, reproducible and modular research.

• python
• pytorch
• machine-learning
• deep-learning

OWASP Honeypot, Automated Deception Framework.

• owasp
• honeypot
• honeynet
• deception

Make ImageOptim, ImageAlpha and JPEGmini part of your automated build process

Automates running Apache JMeter on Amazon EC2

• jmeter
• aws
• load-testing
• cloud