AI/ML
Follow-Bot：自動フォロー機能を備えたPython製ボット
2025/6/12
Follow-Botは、Pythonで開発されたシンプルな自動フォローボットです。SNSや特定のプラットフォーム上で効率的にユーザーをフォローすることを目的として設計されており、基本的なフォロー操作の自動化をサポートします。軽量かつシンプルな構成で、初心者でも扱いやすい設計が特徴です。
PythonAutomationBot
記事を読む
記事一覧
45ページ目 / 82ページ（全979記事）
Tool
JSON-to-PPT：JSONデータを自動でPowerPointに変換するツール
2025/6/12
JSON-to-PPTは、JSON形式のデータを自動的にPowerPointプレゼンテーションに変換するPython製ツールです。プログラミングにより情報を整理し、視覚的に分かりやすいスライドを効率的に作成できます。データドリブンな資料作成を支援し、手作業によるスライド作成の手間を大幅に削減します。
PythonPowerPointJSON
記事を読む
Other
Leanによるほぼ常に真となるABC予想の形式化
2025/6/12
本リポジトリは、形式手法言語Leanを用いて「ほぼ常に真であるABC予想（True Almost Always ABC Conjecture）」の数学的定式化と検証を試みたプロジェクトです。数学的な難問であるABC予想をLeanの定理証明環境で再現し、証明の機械的検証を目指す先進的な取り組みを示しています。形式手法や定理証明を学ぶ研究者・技術者にとって興味深い資料となるでしょう。
Lean形式手法数学
記事を読む
Library
MSSQL MCPのC#実装ライブラリ「mssql-mcp」
2025/6/12
「mssql-mcp」は、Microsoft SQL ServerのMCP（Microsoft Certified Professional）プロトコルをC#で実装したライブラリです。SQL Serverと通信するための低レベルプロトコルを扱い、カスタムクライアントやツールの開発を支援します。軽量でシンプルな設計により、.NET環境でのSQL Server接続機能の拡張や解析用途に最適です。
C#MSSQLプロトコル実装
記事を読む
Mobile
Planta-App：植物愛好家のためのモダンなFlutterアプリ
2025/6/12
Planta-Appは、植物好きのために設計されたモダンなFlutterアプリケーションです。クリーンアーキテクチャとクリーンコードの原則に基づき、拡張性と保守性を兼ね備えた構造で構築されています。GoRouterを用いた宣言的かつスムーズな画面遷移を実現し、洗練されたUIでユーザー体験を向上させています。
FlutterClean ArchitectureGoRouter
記事を読む
Security
プロフェッショナル ペネトレーションテスト管理プラットフォーム
2025/6/12
「Professional-Penetration-Testing」は、ペネトレーションテスト（侵入テスト）を効率的かつ体系的に管理するためのプラットフォームです。Pythonで開発されており、テストの計画から実施、報告までの一連のプロセスを支援。セキュリティ専門家やペネトレーションテスターが業務を円滑に進めるためのツール群を備え、テストの品質向上と作業効率化を目的としています。
ペネトレーションテストセキュリティ管理Python
記事を読む
Tool
Qol-Mod：Hypixel Skyblock向け快適化MOD
2025/6/12
Qol-Modは、人気マインクラフトサーバーHypixelのSkyblockモードに特化した「Quality of Life（生活の質）」向上を目的としたMODです。ゲームプレイの利便性を高める各種機能を備え、ユーザーの操作や情報取得を効率化。Hypixel Skyblockのプレイヤーがより快適にゲームを楽しめるよう設計されています。シンプルながら実用的な改良を加えることで、日常的な作業の手間を軽減するツールです。
MinecraftHypixelSkyblock
記事を読む
Data
Queryflare：安全でスケーラブルな従量課金型データベース
2025/6/12
Queryflareは、TypeScriptで実装された安全かつスケーラブルな従量課金型データベースシステムです。ユーザーはクエリごとに課金される仕組みで、効率的なリソース管理とコスト最適化を実現。セキュリティと拡張性を重視し、クラウド環境に適した設計となっています。開発者が柔軟に利用できるよう設計されており、特に大規模データ処理やAPI経由のデータアクセスで威力を発揮します。
データベーススケーラビリティセキュリティ
記事を読む
AI/ML
RedaçãoPRO - AIによるENEM作文自動生成アプリ
2025/6/12
RedaçãoPROは、ブラジルの大学入試試験ENEM（Exame Nacional do Ensino Médio）の作文課題をAI技術で自動生成するアプリケーションです。ユーザーがテーマを入力すると、自然言語処理を駆使して高品質な作文を生成し、学習や練習に役立てられます。学習者の作文力向上を支援することを目的とし、教育分野におけるAI活用の一例として注目されます。
自然言語処理教育AIENEM
記事を読む
Library
scalafix-check：sbt用の追加Scalafixタスク
2025/6/12
scalafix-checkは、Scalaのコード整形ツール「Scalafix」をsbtビルドツール上でより便利に使うための追加タスクを提供するライブラリです。標準のsbt-scalafixプラグインに不足しがちなチェックや検証機能を補完し、コード品質の維持や自動修正の効率化をサポートします。Scala開発者がビルドプロセスに統合しやすい設計で、スムーズなコードリファクタリングを実現します。
ScalasbtScalafix
記事を読む
Web
レストラン管理システムのプログラミング演習
2025/6/12
「sistema-restaurante」は、サービス指向プログラミングに関連した演習課題として開発されたレストラン管理システムです。基本的な注文管理やメニュー表示など、レストランの運営に必要な機能をプログラミング的視点から学べる教材的リポジトリであり、サービス指向アーキテクチャの理解と実装練習に適しています。
サービス指向プログラミングレストラン管理学習用プロジェクト
記事を読む
Tool
SkyblockQOL：Hypixel Skyblock向けの利便性向上機能集
2025/6/12
SkyblockQOLは、人気MinecraftサーバーHypixelのSkyblockモード向けに設計された利便性向上機能（Quality of Life機能）をまとめたツールです。ゲームプレイ中の煩雑な操作や情報管理をサポートし、ユーザー体験を快適にすることを目的としています。シンプルながらプレイヤーの利便性を高める多彩な機能を提供し、Skyblockプレイヤーに役立つ拡張機能として注目されています。
MinecraftHypixelSkyblock
記事を読む