Translating all c to rust (tractor)

Other Transaction IDV Awarded Last action

Contract number
HR00112590133
Awardee
Awarding agency
Task orders
0

Award facts

Last date to order
Not on record
IDV ceiling
$7,799,466.00
Contracting staff
NAICS code
Not on record
Competition
Competed Program Solicitation
Pricing
Other

Award details come from SAM.gov/FPDS.

About this IDV

Written by GovTribe AI ·

The Defense Advanced Research Projects Agency awarded an Other Transaction IDV to Galois, Inc., with a ceiling of $7.8 million, on June 11, 2025, for the Translating All C to Rust (TRACTOR) project. This is a multiple-award Other Transaction vehicle that sits outside the FAR.

TRACTOR focuses on converting legacy C-language code to Rust to eliminate memory safety vulnerabilities in defense systems. Galois specializes in formal verification, software security, and advanced systems engineering; the company's technical depth in secure-by-construction methodologies and binary analysis directly supports the memory-safety and legacy-code modernization objectives underlying the effort.

No recent task order activity or place of performance is disclosed in the source.

Transactions

Action Obligated Date
Other Administrative Action P00005 $0
Other Administrative Action P00004 $2,012,953
Funding Only Action P00003 $297,798
Funding Only Action P00002 $895,731
Funding Only Action P00001 $214,577
Original award $399,529

Quick answers

Who was awarded contract HR00112590133?

HR00112590133 was awarded to Galois, Inc. by Defense Advanced Research Projects Agency (Department of Defense) on June 11, 2025.

How much is contract HR00112590133 worth?

HR00112590133's own ceiling is $7,799,466.

Was contract HR00112590133 competed?

The extent of competition for HR00112590133 was competed.

On GovTribe

See this IDV's full record

  • Every order and transaction
  • The awardee's other awards and teaming partners
  • Similar IDVs and recompete opportunities
  • Ask GovTribe AI about this IDV
Try for free Login