直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン
☆19Mar 11, 2026Updated last week
Alternatives and similar repositories for TsadeEngine
Users that are interested in TsadeEngine are comparing it to the libraries listed below
Sorting:
- JVM bindings for Python that enable seamless integration between Python and Java code through JNI (Java Native Interface).☆17Jul 19, 2025Updated 8 months ago
- A flexible Rust JSON library with no dependencies and no macros☆41Mar 5, 2026Updated 2 weeks ago
- Friendly AI DiscordBot☆11Dec 29, 2025Updated 2 months ago
- 🗺 Source code of https://crisis.yuiseki.net/ . Web service that collects disaster-related news articles and displays them on a map.☆20Mar 13, 2026Updated last week
- ☆16Mar 19, 2023Updated 3 years ago
- GTFS/GTFS-JP固定URLデータ 日付チェック☆10Updated this week
- NDL古典籍OCR学習用データセット（みんなで翻刻加工データ）☆20Mar 13, 2026Updated last week
- ☆14Dec 8, 2023Updated 2 years ago
- Windows11 SnippingTool OCR Wrapper☆18Mar 5, 2025Updated last year
- Fast match expression optimized for string comparison☆41Jan 29, 2024Updated 2 years ago
- ☆12Jan 25, 2024Updated 2 years ago
- Typescript compile-time recognition of regular languages☆12Oct 16, 2024Updated last year
- deno.land の日本語サイト☆13Nov 23, 2022Updated 3 years ago
- TCP/IP Stack in Python☆21Jun 15, 2025Updated 9 months ago
- Simulation of the miserable MOJIBAKE filenames on Windows☆31Apr 25, 2021Updated 4 years ago
- A package to write Hono middleware in Go or TinyGo.☆22Dec 2, 2025Updated 3 months ago
- Beautifully designed components for Ink, you can copy and paste into your apps.💄☆14Jul 13, 2024Updated last year
- High performance Perfect Clear finder☆14Aug 19, 2022Updated 3 years ago
- WIP☆14Mar 6, 2025Updated last year
- A tool that converts clang generated assembly code into Go ASM.☆16Aug 13, 2025Updated 7 months ago
- A VSCode extension that renders and displays mermaids written in source code comments☆63Oct 19, 2025Updated 5 months ago
- 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
- Building RAG and learn Cloudflare stack!☆13Aug 5, 2024Updated last year
- ☆14Feb 17, 2026Updated last month
- A small unity 2019 project inspired by Metal Gear Solid gameplay mechanics (PS1)☆13Oct 14, 2019Updated 6 years ago
- ☆12Aug 27, 2024Updated last year
- beko-translateは、Apple Silicon Mac向けのCLI翻訳ツールです。PDF見開き翻訳機能も同梱してあり原文・訳文を交互に表示できます。☆33Feb 12, 2026Updated last month
- color visualization in 3D☆23Jan 29, 2014Updated 12 years ago
- A simple whiteboard.☆11Nov 11, 2021Updated 4 years ago
- This is web browser for studying.☆14Nov 3, 2021Updated 4 years ago
- File-based router for easier route management for hono.☆15Oct 16, 2024Updated last year
- webrtc over nostr demo☆12Jun 6, 2023Updated 2 years ago
- ☆18Oct 23, 2025Updated 4 months ago
- Tetris bot capable of automatically playing custom multiplayer matches in TETR.IO☆10Mar 30, 2025Updated 11 months ago
- 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
- ☆16May 27, 2023Updated 2 years ago
- ちょっとセキュアなチャットツール（スターお願いします）☆32Dec 7, 2025Updated 3 months ago
- Evex UI is beautiful web ui components.☆11Oct 3, 2024Updated last year
- [WIP]reglico is AltJsAndWasm language. This generate rust(wasm) and typescript code from one reglico code☆14Mar 5, 2022Updated 4 years ago