直観主義の命題論理+自然演繹の中で与えられた定理を検証する遺伝的アルゴリズムを用いた証明探索エンジン
☆19Mar 11, 2026Updated 7 months 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:
- *ultrafast* brainfuck JIT compiler☆20Mar 28, 2026Updated 7 months ago
- 波動光学解析ィ！！☆12Aug 9, 2025Updated last year
- ブラウザ上に実装された POSIX 準拠の最小 UNIX 互換 OS☆33Feb 21, 2026Updated 8 months ago
- pyinit is a command-line tool designed to help developers quickly scaffold Python library projects.☆12Dec 3, 2024Updated last year
- 強さはコミット数じゃない！コードの量だ！！！！☆25Jul 10, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Web Router Backend☆20Apr 29, 2026Updated 6 months ago
- Python bindings for embedding V8 and running JavaScript, built on denoland/rusty_v8☆12May 9, 2026Updated 5 months ago
- TCP/IP Stack in Python☆24Jun 15, 2025Updated last year
- mt-predictor は実行中の Python プロセスのメモリをスキャンして、random.random() が次に生成する値を完全に予測するためのものです。☆17May 27, 2025Updated last year
- ちょっとセキュアなチャットツール（スターお願いします）☆32Dec 7, 2025Updated 10 months ago
- 🌂Performance + Experience🌙☆12Oct 9, 2026Updated 2 weeks ago
- JVM bindings for Python that enable seamless integration between Python and Java code through JNI (Java Native Interface).☆23Aug 14, 2026Updated 2 months ago
- can you clone this? (It's better not to do it, probably...)☆11Sep 4, 2025Updated last year
- EdgeKit: Cloudflare Workers Python-native SDK☆17Apr 14, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experimental Python compiler☆174Updated this week
- Local security proxy that keeps secrets and sensitive data out of AI requests. Supports Codex, Claude Code and more.☆35Updated this week
- Beautifully designed components for Ink, you can copy and paste into your apps.💄☆14Jul 13, 2024Updated 2 years ago
- The Python framework for web applications.(Don't send a pull request to this)☆13Nov 29, 2024Updated last year
- yurucommu ActivityPub server, API SDK☆55Oct 14, 2026Updated 2 weeks ago
- 日本語文章の解析・校正を行う LSP サーバー。☆421Apr 3, 2026Updated 6 months ago
- Evex UI is beautiful web ui components.☆11Oct 3, 2024Updated 2 years ago
- dowa means どわーw (冷笑) / 冷笑を検知しますw☆17Sep 4, 2026Updated last month
- Fine-grained SFC Compiler for MoonBit☆12Jun 22, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [Archived for v0.x] ✨ Write code without the Shift key. Beautiful, simple, and easy-to-use.☆12Jun 26, 2026Updated 4 months ago
- A universal toolkit for deobfuscating JavaScript☆22May 6, 2026Updated 5 months ago
- Friendly AI DiscordBot☆11Apr 6, 2026Updated 6 months ago
- Melon は、FeliCa カードの IDi(発行 ID) をアカウントキーとする、オンライン前払式支払手段(第三者型) の実装です。☆15Oct 18, 2026Updated last week
- Discord の通話内容を要約して、ボイスチャンネルのステータスに反映する bot☆13Sep 1, 2026Updated last month
- Android NFC utility for reading FeliCa cards and writing selected data into SiliCa.☆20Jul 10, 2026Updated 3 months ago
- Let AI create Scratch projects, via TypeScript☆65Jun 2, 2026Updated 4 months ago
- なにって...Hello World しただけだが？☆20Nov 12, 2020Updated 5 years ago
- ☆13Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SolidJS extension that provides better TypeScript experience by allowing a way to writing JSX like React☆10Dec 25, 2025Updated 10 months ago
- Fast match expression optimized for string comparison☆41Jan 29, 2024Updated 2 years ago
- ☆20Jun 23, 2026Updated 4 months ago
- Self-host finance management system☆26Oct 21, 2026Updated last week
- https://技術者倫理.com☆40Jul 31, 2026Updated 2 months ago
- self-hosted programming language targeting x86-64☆20Aug 16, 2025Updated last year
- ☆24Aug 5, 2026Updated 2 months ago