直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン
☆19Mar 11, 2026Updated 3 weeks ago
Alternatives and similar repositories for TsadeEngine
Users that are interested in TsadeEngine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- JVM bindings for Python that enable seamless integration between Python and Java code through JNI (Java Native Interface).☆23Jul 19, 2025Updated 8 months ago
- Friendly AI DiscordBot☆11Updated this week
- A flexible Rust JSON library with no dependencies, no macros, no unsafe and optional no_std support☆44Updated this week
- 🗺 Source code of https://crisis.yuiseki.net/ . Web service that collects disaster-related news articles and displays them on a map.☆20Mar 31, 2026Updated last week
- ☆16Mar 19, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- GTFS/GTFS-JP固定URLデータ 日付チェック☆10Updated this week
- NDL古典籍OCR学習用データセット（みんなで翻刻加工データ）☆20Mar 13, 2026Updated 3 weeks ago
- ☆14Dec 8, 2023Updated 2 years ago
- Windows11 SnippingTool OCR Wrapper☆19Mar 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☆22Jun 15, 2025Updated 9 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 4 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 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
- ☆15Mar 24, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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見開き翻訳機能も同梱してあり原文・訳文を交互に表示できます。☆34Mar 25, 2026Updated 2 weeks ago
- color visualization in 3D☆23Jan 29, 2014Updated 12 years ago
- A simple whiteboard.☆11Nov 11, 2021Updated 4 years ago
- File-based router for easier route management for hono.☆15Oct 16, 2024Updated last year
- This is web browser for studying.☆14Nov 3, 2021Updated 4 years ago
- A tool that converts clang generated assembly code into Go ASM.☆16Aug 13, 2025Updated 7 months ago
- webrtc over nostr demo☆12Jun 6, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tetris bot capable of automatically playing custom multiplayer matches in TETR.IO☆10Mar 30, 2025Updated last year
- ☆19Oct 23, 2025Updated 5 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 4 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