A marketplace where anyone with a spare gaming or server GPU can rent it out, so AI developers get GPU compute at a fraction of the price big cloud providers charge — like Airbnb, but for graphics cards instead of spare rooms.
vast.ai
Results for “BMC AMI DevX”
315 tools found
A dashboard that shows you exactly what your AI agent did, step by step, when it fails — every tool call, every sub-agent, every LLM response — instead of leaving you to guess from a wall of logs.
laminar.sh
Kafka-compatible streaming platform that runs diskless on cloud object storage (S3/GCS/Azure Blob), cutting Kafka's infrastructure cost sharply while keeping full API compatibility.
automq.com
Real-time data movement platform: streaming, log-based CDC and batch through 200+ managed connectors, sub-100ms latency.
estuary.dev
Open-source LLM eval and red teaming: test prompts, compare models, catch jailbreaks and data leaks locally and in CI.
promptfoo.dev
E.H. Connell (University of Miami)
math.miami.edu
Amino acid motif searching software with optional Position-Specific Scoring Matrix.
ehubio.ehu.eus
Java Gaming
jvm-gaming.org
Greenlit Gaming
greenlitgaming.com
Amit's Game Programming
www-cs-students.stanford.edu
a family of Python tools to create generative design.
nodebox.net
The Illustrated Self-Supervised Learning
amitness.com
Suite of automated audit tools to examine the configuration and known vulnerabilities following the NIST-certified Security Content Automation Protocol (SCAP).
open-scap.org
copyright: — Static and dynamic analysis tool supporting more than 25 languages and direct IDE integration. Free hosting for Open Source projects available on request. Free academic licenses available.
teamscale.com
copyright: — Suite of static analysis tools consisting of the three components Sotoarc (Architecture Analysis), Sotograph (Quality Analysis), and Sotoreport (Quality report). Helps find differences between architecture and implementation, interface violations (e.g. external access of private parts of subsystems, detection of all classes, files, packages and subsystems which are strongly coupled by cyclical relationships and more. The Sotograph product family runs on Windows and Linux.
hello2morrow.com
Scalastyle examines your Scala code and indicates potential problems with it.
scalastyle.org
Supports functionality such as 'goto definition', type inference, symbol search, reformatting, and code completion, and enables renaming and refactorings.
rust-analyzer.github.io
A tool for running Rust lints from dynamic libraries. Dylint makes it easy for developers to maintain their own personal lint collections.
trailofbits.com
A dynamic symbolic execution engine built on top of the LLVM compiler infrastructure. It can auto-generate test cases for programs such that the test cases exercise as much of the program as possible.
klee-se.org
Bounded model-checker for C programs, user-defined assertions, standard assertions, several coverage metric analyses.
cprover.org