☆56May 4, 2026Updated 3 months ago
Alternatives and similar repositories for idoft
Users that are interested in idoft are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool for finding assumptions on APIs with under-determined specifications.☆60Mar 23, 2026Updated 4 months ago
- ☆32Nov 21, 2024Updated last year
- ☆18May 20, 2022Updated 4 years ago
- Test-Case Prioritization for Configuration Testing☆16Jul 19, 2021Updated 5 years ago
- A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.☆11May 21, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- STARTS - A tool for STAtic Regression Test Selection☆33Mar 27, 2026Updated 4 months ago
- ☆14Aug 20, 2024Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆34Dec 11, 2023Updated 2 years ago
- Software testing optimization tool for Java☆40Mar 27, 2026Updated 4 months ago
- Making code edting up to 7.7x faster using multi-layer speculation☆23Feb 20, 2025Updated last year
- The configuration files and issues datasets collected from real users☆31Apr 27, 2020Updated 6 years ago
- Configuration dependency analysis for cloud software☆24Jan 4, 2022Updated 4 years ago
- https://hub.docker.com/r/clangbuiltlinux/ubuntu/☆12Jan 20, 2021Updated 5 years ago
- Redu? O que é o Redu?☆16Feb 16, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- NLRB data scraper by LexPredict☆12Dec 8, 2022Updated 3 years ago
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- Official repository for PraPR source code☆14May 11, 2021Updated 5 years ago
- ☆11Jan 19, 2025Updated last year
- Public Git mirror for the master-level DevOps course given every summer semester at Chalmers and the University of Gothenburg☆19Aug 17, 2022Updated 3 years ago
- Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)☆39May 17, 2023Updated 3 years ago
- Code and data for the paper: AI Sees Your Location—But With A Bias Toward The Wealthy World☆19Dec 15, 2025Updated 7 months ago
- Convert regular HTML into Lucky's Crystal DSL for HTML.☆10Jun 6, 2020Updated 6 years ago
- Tensor library for Crystal powered by CUDA and CuDNN☆14Apr 26, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Crystal implementation of the Language Server Protocol☆11Jun 1, 2023Updated 3 years ago
- Crystal bindings to Intel's DPDK at wire rate packet processing.☆12May 27, 2018Updated 8 years ago
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 3 years ago
- ☆11May 3, 2019Updated 7 years ago
- Jenkins flaky-test-handler plugin☆29May 1, 2026Updated 3 months ago
- Useful to get input on noecho, secrets, passwords, token, hints☆12Jun 17, 2018Updated 8 years ago
- A Reading List of System Configuration Management☆58Aug 24, 2024Updated last year
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated last year
- code for "Implant Global and Local Hierarchy Information to Sequence based Code Representation Models"☆12Dec 13, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Extensions (e.g. drawing functions) for stumpy_core☆10Sep 18, 2020Updated 5 years ago
- URL parsing, archiving and rendering service for Meedan Check, a collaborative media annotation platform☆10Aug 3, 2026Updated last week
- HomePod + Raspberry Pi + Crystal+ Slack = Magic☆11Dec 16, 2020Updated 5 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 6 years ago
- SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems☆23Jul 13, 2026Updated 3 weeks ago
- ☆11Apr 8, 2022Updated 4 years ago