Popular repositories Loading

1. XFOIL XFOIL Public

   XFOIL is an interactive program for the design and analysis of subsonic isolated airfoils.

   Fortran 2

2. cpp_parser cpp_parser Public

   c/c++プロジェクトをsqlクエリで検索できるようにする

3. MultiThreadRNG MultiThreadRNG Public

   MultiThreadRNG は、マルチスレッド環境でも安全かつ高速に動作する乱数生成器です。スレッド間の競合を防ぎつつ、高性能な並列乱数生成を実現します。

   2

4. AI-SafeGit AI-SafeGit Public

   Forked from git/git

   AI-SafeGit: AIエージェント向け安全なGit AI-SafeGit は、エージェントAIがGitを安全に利用できるようにするための特別なGitプログラムです。誤操作や破壊的なコマンドの実行を防ぐことで、リポジトリの一貫性とデータの安全性を確保します。 主な特徴 破壊的な操作の防止: 重要な履歴を改変・削除するコマンドを制限し、誤操作や悪意ある変更を防ぎます。 安全なバージョン管理…

   C

5. TTheory TTheory Public

   型理論と証明駆動開発の学習用

6. uf uf Public

   Forked from Masaya-Sakamoto/uf

   Python