兵器を開発するには「リサーチポイント（RP）」が必要になる。このポイント及びゲーム内通貨の「シルバーライオン（SL）」は、主に戦闘によって獲得できる。兵器開発の為のRPは、その兵器が属する国・ツリーの兵器であればどれを使用してもその開発分に加算される。たとえば、Ju87R-2を開発するために使用できる機体は、ドイツの航空機であればどれでもよく、仮に開発済みであるならば、Ju87R-2よりランクが高いFw190A-1やMe410を使用してもJu87R-2の開発は進められる。ただし、開発しようとする兵器の直前の兵器は加算されるRPにボーナスが付き、逆にあまりにもランクが離れた兵器で開発しようとすると（たとえばランクVのMe262の開発中にランクIのHe51を使用してRPを獲得する場合など）ペナルティが課せられ、RPの獲得値が少なくなってしまう。そのため、出来るだけランクなどが近しい兵器で開発した方がその進行は早い。また空軍は戦闘機・攻撃機・爆撃機など航空機のみ、陸軍は戦車・対戦車自走砲・自走式対空砲など戦闘車両のみといった分類がされている。例えば、アメリカのP-47は史実では「アメリカ陸軍航空軍」の戦闘機だが、WarThunderでは「空軍」の開発ツリーとなる。開発を完了した兵器はSLを支払う事によって購入できる。兵器の購入は台数制限が無く、ガレージを圧迫することは無い。
兵器はランク分けされているが、これとは別に、「バトルレーティング（BR）」という数値が存在する。これは、武装の強さ、性能の良し悪しなどをゲーム上の強さに合わせて数値化し、マッチングの際の計算に使用することによって、対戦する兵器間の戦闘力の格差を減らせるようにするための数値である。ランク及びツリーの開発順はめったに変更されることが無いのに対して、BRは比較的頻繁に変更される。そのため、ツリーの開発順では後になっている兵器が、その前の兵器よりBRが低く設定されている、という事も多々ある。このBRによって、戦中と戦後の兵器が同じ戦場に会するということも起こり得る。
兵器は航空機がランクI～ランクVI（ヘリコプターはランクⅤ～ランクⅥ）、陸上兵器がランクI～ランクⅦ、海上兵器はランクⅠ～ランクⅣまでに分かれており、それぞれ最初はランクIから始まる。そのランクの兵器を一定数開発することによって次のランクの兵器を開発できるようになり、最終的に空軍はランクⅥ、陸軍はランクⅦ、海軍はランクIV、ヘリコプターはⅥまで手に入れる事ができる。ランクIは、戦間期から第二次世界大戦開戦劈頭の兵器が主だが、ランクV以降は、大戦後半から朝鮮戦争頃までのジェット機や、戦後第二世代の主力戦車（MBT）や一部第三世代MBTも含まれるようになる。このランクは、基本的に兵器開発の歴史的経緯に沿ったものとなっている。ランクⅥは2019年07月01日現在、1960年頃から2016年制式化の陸上兵器及び、1950年頃から1970年代制式化の空対空ミサイルを装備できる戦闘機が実装されている。しかし海軍に関しては例外で第二次世界大戦頃の艦船が配置されるランクⅡの時点に海上自衛隊のちくご型護衛艦やPG02といった戦後艦がミサイルなどをオミットした状態で実装されている場合がある。なお実装されている兵器において最も制式年が新しいものは陸上自衛隊で2016年に制式化された16式機動戦闘車である。
2006年にNICTAのグループはseL4と呼ばれる第3世代マイクロカーネルの設計を開始した。これはコモンクライテリア（Common Criteria：略称CC  ISO/IEC 15408規格）を満たす、あるいはそれ以上のセキュリティ要件を満たすために高い安全性と信頼性が得られるような基本方針で設計された。最初からカーネルの形式的証明を目指して開発を行った。性能と検証の時に相反する要求を満たすために、チームはHaskellで書かれた実行可能な定義からソフトウェアによる処理を行いその結果を用る方法をとった。seL4ではオブジェクトのアクセス権についての形式的推論を可能にするために capability-basedアクセス制御 を用いている。機能の正しさの形式的証明は2009年に完了した。この証明はカーネルの実装がその定義に対して正しいことを示し、従ってデッドロック、ライブロック（あるプロセスがbusy状態のまま実行権を放さなくなってしまう状態を指す）、バッファオーバーフロー、数値演算の例外、初期化していない変数の使用などの実装バグの無いことを意味する。seL4は汎用のOSカーネルとしては初めて証明されたという主張がなされている。seL4は、カーネルリソースの管理に新しい方法をとっている。 カーネルリソースの管理はユーザーレベルに任され、ユーザーリソースと同じCapability-based securityのアクセス制御を受ける。このモデルはチューリッヒ工科大学による研究OSのBarrelfishでも採用されたもので、プロパティ分離についての推論を容易にして、seL4がコアセキュリティプロパティの完全性と秘匿性を強制することを後に証明することを可能にするものとなった。 NICTAのチームはCから実行可能な機械語への変換の正確さの確認を行い、seL4のtrusted computing baseからコンパイラを取り除いた。これは実行可能なカーネルにおいて高度なセキュリティが証明されているという事である。seL4はまた、ハードリアルタイムシステムに必須な完全性と最悪ケースにおける正確な実行時間の解析を行ったと最初に公表された保護モードのOSカーネルである。2014年7月29日、NICTAとジェネラル・ダイナミクス・ミッション・システムズは隅から隅まで検証されたseL4をオープンソースでリリースした。カーネルコードと検証コードはGPLv2で提供され、ほとんどのライブラリとツールは2条項BSDライセンスで提供されている。研究者のコメントによれば、ソフトウェアの形式的証明のコストはより高い信頼性を提供するにも関わらず従来の「高度な保証」を有するソフトウェアを設計するコストよりも低いとしている。 具体的には、従来の「高度な保証」を有するソフトウェアでは1行あたりのコストは1000米ドルであるのに対し、開発中のseL4の1行あたりのコストは400米ドルと見積もられた。NICTAはアメリカ国防高等研究計画局(DARPA)の高保証サイバー軍事システム計画（High-Assurance Cyber Military Systems(HACMS)の下でプロジェクトパートナーのロックウェル・コリンズ社、ガロア社、ミネソタ大学、ボーイング社と共同でseL4ベースの高保証ドローンを保証ツールとソフトウェアと共に開発した。これはボーイングで開発中の操縦も可能な自律型無人ヘリコプターボーイング AH-6への技術移転も計画されていた。最終的なHACMS技術のデモンストレーションは2017年4月、バージニア州スターリングで行われた。DARPAはまたジョン・ランチベリー博士の提唱でseL4に関連した中小企業技術革新研究プログラム(SBIR)による出資を行った。seL4によるSBIRを受けた企業にはDornerWorks、Techshot、Wearable Inc、Real Time Innovations、Critical Technologiesなどがある。