Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
47,133 repositories indexed
193–216 of 397 · Most stars
Concuerror is a stateless model checking tool for Erlang programs.
Scrape/Crawl article from any site automatically. Make any web page readable, no matter Chinese or English.
The Kinesis Scaling Utility is designed to give you the ability to scale Amazon Kinesis Streams in the same way that you scale EC2 Auto Scaling groups – up or down by a count or as a percentage of the total fleet. You can also simply scale to an exact number of Shards. There is no requirement for you to manage the allocation of the keyspace to Shards when using this API, as it is done automatically.
🧶 Automatically save your changes in NeoVim
Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone
Automatic Windows HDR switching for games, YouTube HDR and RTX Video HDR
Automatically trakt.tv what you're watching on VLC
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
⚡️ Automatically add Trace Spans to Go functions
Transform your spin bike into a Smart Trainer!
Automatically exported from code.google.com/p/creddump
Automatically add simple type annotations to your code
Solve automatic numerical differentiation problems in one or more variables.
Monitoring changes in the source file and automatically compile and run (restart).
One-link downloader for the Mac (videos, documents, images, articles, web pages), with optional automatic YouTube monitoring that translates and subtitles new videos.
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
A Sitecore utility designed to simplify deployment of Sitecore items across environments automatically
ARAutocompleteTextView is a subclass of UITextView that automatically displays text suggestions in real-time. This is perfect for automatically suggesting the domain as a user types an email address, #hashtag or @alexruperez.
The type-safe, event-driven workflow orchestration library that scales with your business. Build robust, distributed workflows in Go with compile-time safety, automatic retries, and horizontal scaling out of the box. Integrate with your existing tech stack using adapters 🚀
Send buffers into early retirement by automatically closing them after x minutes of inactivity.
📱📲 A wrapper for the MultipeerConnectivity framework for automatic offline data transmission between devices
Automatic text summarization
automatically delete the current project's DerivedData directories
Automatic deployment of Cuckoo Sandbox malware lab using Packer and Vagrant