t3tra-dev/TsadeEngine external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

t3tra-dev/TsadeEngine

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/t3tra-dev/TsadeEngine)

Close

t3tra-dev / TsadeEngineView on GitHubMore

• External links
• Readme badge

直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン

☆19Feb 17, 2026Updated last week

Alternatives and similar repositories for TsadeEngine

Users that are interested in TsadeEngine are comparing it to the libraries listed below

• 371tti / observer-rust

  View on GitHub
  Friendly AI DiscordBot
  ☆11Dec 29, 2025Updated last month
• ksasao / SnippingToolOcrSharp

  View on GitHub
  Windows11 SnippingTool OCR Wrapper
  ☆18Mar 5, 2025Updated 11 months ago
• t3tra-dev / jvm-pybind

  View on GitHub
  JVM bindings for Python that enable seamless integration between Python and Java code through JNI (Java Native Interface).
  ☆15Jul 19, 2025Updated 7 months ago
• ndl-lab / ndl-minhon-ocrdataset

  View on GitHub
  NDL古典籍OCR学習用データセット（みんなで翻刻加工データ）
  ☆19Feb 10, 2025Updated last year
• yuiseki / crisis-news-map-next

  View on GitHub
  🗺 Source code of https://crisis.yuiseki.net/ . Web service that collects disaster-related news articles and displays them on a map.
  ☆20Updated this week
• ahogappa / live2d_mini_rs

  View on GitHub
  ☆16Mar 19, 2023Updated 2 years ago
• sile / nojson

  View on GitHub
  A flexible Rust JSON library with no dependencies and no macros
  ☆41Updated this week
• kunugiza / bakebake

  View on GitHub
  Simulation of the miserable MOJIBAKE filenames on Windows
  ☆31Apr 25, 2021Updated 4 years ago
• nagix / mapbox-gl-indoor-map

  View on GitHub
  Indoor map based on Mapbox Indoor v1 tileset which contains 439 facilities in Japan including major stations and underground malls
  ☆31Jun 30, 2024Updated last year
• kotoba-tech / kotoba-recipes

  View on GitHub
  Support Continual pre-training & Instruction Tuning forked from llama-recipes
  ☆34Feb 17, 2024Updated 2 years ago
• daac-tools / trie-match

  View on GitHub
  Fast match expression optimized for string comparison
  ☆40Jan 29, 2024Updated 2 years ago
• EdamAme-x / paypay-tel-brute-force

  View on GitHub
  PayPayに登録されている電話番号を総当たりするコード
  ☆10Jul 4, 2024Updated last year
• konturio / disaster-ninja-be

  View on GitHub
  Kontur Platform API Gateway
  ☆11Aug 27, 2025Updated 6 months ago
• EdamAme-x / ame-x.net.v2

  View on GitHub
  Hono(RPC) x Next.js (App Router) x RadixUI x Shadcn UI x TailwindCSS x Gsap x Three.js
  ☆14Feb 9, 2024Updated 2 years ago
• lifemate-ai / familiar-ai

  View on GitHub
  ☆48Updated this week
• primenumber / vscode-mermaid-islands

  View on GitHub
  A VSCode extension that renders and displays mermaids written in source code comments
  ☆63Oct 19, 2025Updated 4 months ago
• Neosku / aviutl2-catalog

  View on GitHub
  AviUtl2 のプラグインやスクリプトを、検索・インストール・アップデートまで一括管理できる デスクトップ向けカタログアプリです。
  ☆129Feb 21, 2026Updated last week
• crescendo-medix / zarque-profiling

  View on GitHub
  Data profiling tools for Big Data
  ☆11Nov 17, 2025Updated 3 months ago
• s-akari / spirv-compute-sanitizer

  View on GitHub
  Compute Sanitizer but it's powered by SPIR-V
  ☆17Aug 15, 2025Updated 6 months ago
• unicef / publicgoods-accelerator-guide

  View on GitHub
  How to support teams building Digital Public Goods?
  ☆10May 5, 2022Updated 3 years ago
• UCLabNU / OpenUAS

  View on GitHub
  ☆13Jun 17, 2025Updated 8 months ago
• uscuni / urban_taxonomy

  View on GitHub
  Morphometric taxonomy of Central Europe
  ☆35Feb 12, 2026Updated 2 weeks ago
• codeforjapan / JibungotoPlanet

  View on GitHub
  ☆13Feb 14, 2026Updated last week
• EdamAme-x / tokutei-v3

  View on GitHub
  住所特定ツール v3 | Domain spoofing, Realtime, Good UI, High Level
  ☆14Aug 6, 2024Updated last year
• YuyaMurakamiMath / My_TeX_template

  View on GitHub
  ☆18Dec 26, 2025Updated 2 months ago
• googlemaps-samples / grounding-lite-mcp-sample-app

  View on GitHub
  ☆27Updated this week
• SIPupstreamDesign / ChOWDER

  View on GitHub
  Cooperative workspace driver
  ☆10Jan 20, 2026Updated last month
• EdamAme-x / nozoki

  View on GitHub
  オープンチャットを外部から権限無しで覗けるサイト
  ☆10Dec 10, 2023Updated 2 years ago
• greensopinion / vectorvector

  View on GitHub
  tooling for vectorizing the planet
  ☆27Feb 17, 2025Updated last year
• trickstar13 / image-alt-generator

  View on GitHub
  ☆10Feb 18, 2025Updated last year
• ayutaz / uPiper

  View on GitHub
  Unity TTS plugin: Piper neural synthesis + OpenJTalk Japanese + Unity AI Inference Engine. Windows/Mac/Linux/Android/iOS ready. High-qual…
  ☆18Feb 6, 2026Updated 3 weeks ago
• YuukiOgino / VoicevoxEngineForUE

  View on GitHub
  UnrealEngine5版VOICEVOX Engine
  ☆13Nov 29, 2025Updated 2 months ago
• tokiedokie / deno_website2_japanese

  View on GitHub
  deno.land の日本語サイト
  ☆13Nov 23, 2022Updated 3 years ago
• xryuseix / manaba_R_incremented

  View on GitHub
  A Web Extention; Enhance manaba+R
  ☆10Apr 10, 2024Updated last year
• horihiro / TextBlurrer-ChromeExtension

  View on GitHub
  ☆11Dec 31, 2025Updated 2 months ago
• onozaty / csvt

  View on GitHub
  csvt is a command line tool for processing CSV.
  ☆13Jan 14, 2026Updated last month
• driv3r / rusty_json_schema

  View on GitHub
  Gem wrapping jsonschema-rs in native extension via FFI
  ☆10Mar 23, 2022Updated 3 years ago
• gsi-cyberjapan / 3dpc-3dtiles

  View on GitHub
  ☆11Nov 17, 2025Updated 3 months ago
• unagiHuman / unityRealsenseQuest

  View on GitHub
  ☆11Aug 24, 2019Updated 6 years ago