logic formal system game in hyperbolic space
☆33Jul 11, 2026Updated this week
Alternatives and similar repositories for deductrium
Users that are interested in deductrium are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆32May 28, 2026Updated last month
- ☆13Nov 2, 2020Updated 5 years ago
- 为GTL添加了一些新机器和配方以及额外特性☆55Updated this week
- The official repository for ICASSP 2020 Transformer VAE paper☆12Apr 25, 2023Updated 3 years ago
- 日麻牌理分析☆11Feb 9, 2026Updated 5 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.
- ☆15Sep 20, 2023Updated 2 years ago
- 超星签到软件 感谢https://github.com/cxOrz/chaoxing-signin项目！☆15Jun 2, 2026Updated last month
- Source files for my experiments not limited to computer graphics.☆14May 11, 2025Updated last year
- Blogging in GitHub issues. Building with Astro.☆15Jul 1, 2026Updated last week
- Unofficial interactive version of the game 0PLAYER☆47Apr 22, 2026Updated 2 months ago
- Some notes for learning Minecraft.☆44Jun 26, 2021Updated 5 years ago
- taichi hackathon repo.☆18Dec 15, 2022Updated 3 years ago
- ☆12Jun 29, 2023Updated 3 years ago
- [Deprecated] 🎧 Luoo music player☆22Aug 15, 2016Updated 9 years 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.
- 【数据】哔哩哔哩安卓客户端闪屏图☆12Jul 5, 2021Updated 5 years ago
- A puzzle game inspired by boolean expressions. The name of the game, Equal to P (=P), looks like a smiley face, which fits the theme of G…☆17Oct 19, 2024Updated last year
- 幻影/无影及其杂交坦克编解码工具☆37Mar 14, 2026Updated 4 months ago
- This repository was created after V0.3.0.☆39Updated this week
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 3 years ago
- Code accompanying NCA paper titled "Attribute-based Regularization of Latent Spaces for Variational Auto-Encoders"☆30May 26, 2021Updated 5 years ago
- UOJ 通过题目比较器☆15Jul 1, 2019Updated 7 years ago
- ARCHIVED — split into 6 standalone repos. See README for links.☆128Updated this week
- Code that generated my osu! storyboard demo. https://youtu.be/bOGJWGJOMOk☆11Sep 18, 2018Updated 7 years 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.
- GT-QuantumTransition核心魔改☆14Feb 20, 2026Updated 4 months ago
- AI群聊聊天室！☆53May 15, 2025Updated last year
- 以免在群聊吹水时读不懂群友在说什么☆19Jul 27, 2024Updated last year
- ☆13Jun 10, 2026Updated last month
- A transpiler that converts TeX into Unicode (as possible).☆21Mar 5, 2026Updated 4 months ago
- Edit OpenCode themes with a live preview☆22Mar 23, 2026Updated 3 months ago
- 🎉 Toshiki's live2d models compilation from different anime, games, ero-game, manga and much more with your exploration!☆36Dec 1, 2022Updated 3 years ago
- Code for the paper Language as a Cognitive Tool to Imagine Goals in Curiosity Driven Exploration☆33Nov 9, 2020Updated 5 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆69Jul 21, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Force-directed graph layout using velocity Verlet integration. Flutter implementation of d3-force☆18Dec 15, 2023Updated 2 years ago
- 《Fonts and Layout for Global Scripts》中文版。一本关于字体设计、Unicode和计算机中复杂文本处理的免费书籍。☆40Apr 19, 2026Updated 2 months ago
- We keep the latest backup of the branch | Archive only, no updates in this repo, please go to BACNext/BACNext☆36Jan 30, 2026Updated 5 months ago
- Frontend Admin UI Demo (Native html/css/js)☆16Oct 28, 2023Updated 2 years ago
- Showcase for rankit http://github.com/wattlebird/ranking/☆16Jul 16, 2020Updated 5 years ago
- Shmily 前端 Demo☆27May 30, 2023Updated 3 years ago
- ☆14Oct 6, 2022Updated 3 years ago