logic formal system game in hyperbolic space
☆39Aug 5, 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:
- Unofficial interactive version of the game 0PLAYER☆48Apr 22, 2026Updated 3 months ago
- 用于举办 Puzzle Hunt 的网站，主要为 P&KU 这一活动开发。☆20Jun 30, 2026Updated last month
- Code and Dataset for <Quantitative Analysis of Melodic Similarity in Music Copyright Infringement Cases, ISMIR 2024>☆15Nov 12, 2024Updated last year
- FlarumCN Theme , Timeline post style☆11Jul 24, 2022Updated 4 years ago
- 日麻牌理分析☆11Feb 9, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 美食大战老鼠-回忆版-源代码☆10Aug 29, 2022Updated 3 years ago
- Automatically generate osu! beatmaps with T5 model.☆11Sep 19, 2023Updated 2 years ago
- 太极图形演示☆12Feb 23, 2022Updated 4 years ago
- The official repository for ICASSP 2020 Transformer VAE paper☆12Apr 25, 2023Updated 3 years ago
- ☆15Sep 20, 2023Updated 2 years ago
- ☆14Sep 19, 2021Updated 4 years ago
- Source files for my experiments not limited to computer graphics.☆14May 11, 2025Updated last year
- Functions for creating and analyzing word co-occurrence networks in Python and R☆12May 18, 2020Updated 6 years ago
- 界隈曲の情報をまとめたwebアプリ☆18Updated this week
- AI Agents on 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.
- taichi hackathon repo.☆18Dec 15, 2022Updated 3 years ago
- Paint black and white video on taskmgr window☆15Jul 9, 2022Updated 4 years ago
- Make your ts check and ts IntelliSense more naughty（雑魚❤~）☆11Dec 31, 2023Updated 2 years ago
- 为ae2添加更多实用功能☆24Updated this week
- Models of dependent type theory☆23Jul 30, 2026Updated last week
- ☆12Jun 29, 2023Updated 3 years ago
- Tool for building packages targeting Pyodide☆16Updated this week
- Official code for the SIGIR 2025 accepted paper "CDC: Causal Domain Clustering for Multi-Domain Recommendation".☆16Aug 27, 2025Updated 11 months ago
- Repository for Osu2MIR: Beat Tracking Dataset Derived From Osu! Data (ISMIR2025 LBD)☆18Oct 6, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Bring Hamlet DLC from Don't Starve to Don't Starve Together☆25Jul 31, 2026Updated last week
- notes on topos theory (Chinese)☆17Nov 28, 2024Updated last year
- 超星签到软件 感谢https://github.com/cxOrz/chaoxing-signin项目！☆15Jun 2, 2026Updated 2 months ago
- 假名征服者，日文假名记忆训练游戏，结合了音游的元素。本游戏针对日语初学者，也欢迎 N1 大佬来 挑战高难度。 ／ A quiz game helping you memorize Japanese Kana (Gojuon). It has been inspired by …☆20Aug 2, 2026Updated last week
- 2021mathorcup C题论文、代码、参考文献、笔记☆18Aug 25, 2021Updated 4 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
- Collection for my dotfiles☆10Updated this week
- [Create Addon] Remove all the limits!☆14Jan 12, 2026Updated 6 months ago
- Repository for the "Building a Typechecker from scratch" class☆15Oct 12, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 黑洞引力透镜效应☆18Jun 8, 2021Updated 5 years ago
- Code accompanying NCA paper titled "Attribute-based Regularization of Latent Spaces for Variational Auto-Encoders"☆30May 26, 2021Updated 5 years ago
- GT-QuantumTransition核心魔改☆14Feb 20, 2026Updated 5 months ago
- A collection of webpages for the Touhou community; largely convenient pages for the games.☆30Updated this week
- True realtime pixel sort effect for AE with GPU-accelerated bitonic sorting☆20Jul 6, 2026Updated last month
- ☆19Dec 20, 2024Updated last year
- A font created in the style of the Endfield's belt☆25May 3, 2026Updated 3 months ago