すべてのリポジトリ

Forall (∀) は Astrio のコーディングエージェントであり、仕様駆動型コードと機械検証可能な証明を同時に生成することで、開発者の正確なソフトウェア構築を支援します。

高度な jQuery ウェブサイトメニュープラグイン。モバイルファーストで、レスポンシブかつアクセシブルなリストベースのウェブサイトメニューで、あらゆるデバイスで動作します。

Angular向けの究極のアイコンライブラリ

VS Code Hexエディタ

Inertia.js用のDjangoアダプター

ユーザーインターフェースをすっきりと控えめな高解像度スタイルに変更するMinecraftリソースパックのプロジェクト。すべてのバニラUI要素と多くの便利なクライアントModをカバーしています。CozyUI+ CozyUI Plus

時系列データの取り込みと処理を目的として設計された分散システム

ChatGPT API、Bard API、Llama2、Python-Nmap、DNS Recon、PCAP、JWT reconモジュールを使用し、NmapスキャンデータとDNSスキャン情報に基づいてGPT3モデルで脆弱性レポートを作成します。また、大規模なサブドメイン列挙も実行できます。

Camouflaged Object Detection、CVPR 2020 (Oral)

JavaScriptで書かれたスネークゲーム。

Rust用のイベントソーシング

月海 (Sea Moon) は FaaS/BaaS で実装された Serverless ネットワークツールです

WoWAnalyzerは、関連する様々なメトリクスやゲームプレイの提案を通じて、World of Warcraftのレイドパフォーマンスの分析と改善を支援するツールです。

モダンな C++20 向けの宣言型 UI ツールキット

Argent Wallet用のスマートコントラクト

深層強化学習による経路計画、SAC経路計画、Soft Actor-Criticアルゴリズム、SAC-pytorch、LiDAR障害物回避、LiDARシミュレーション、Adaptive-SAC

CVPR2021の論文「Patch-NetVLAD: Multi-Scale Fusion of Locally-Global Descriptors for Place Recognition」のコード

🌍🌏🌎 クラウドの中に全世界が収まる！

エージェントがユーザーに代わってサービスの登録を行えるオープンプロトコル。ドメイン内の Markdown ファイルを通じて検出可能です。

Android FHIR SDK は、Android 上で HL7® FHIR® 標準を使用し、オフライン対応でモバイルファーストな医療アプリを構築するための一連の Kotlin ライブラリです。

MQTTをサポートするArduinoライブラリ

C++ SVGライブラリ

エージェントのスキルを管理するためのデスクトップアプリ

RAJA パフォーマンス可搬性レイヤー (C++)

:zap: 快適な AppImage パッケージマネージャー

PyGMTSAR (Python InSAR): パワフルでアクセシブルな衛星干渉SAR処理ツール

Doist製品を支える、強力なTiptapベースのリッチテキストエディタ

Tailscale VPN、UFWファイアウォール、Docker分離を備えた、自動化および堅牢化されたClawdbotのインストール

AIコーダー向けの自己評価型面接