logic formal system game in hyperbolic space
☆39Aug 5, 2026Updated 3 weeks ago
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☆49Apr 22, 2026Updated 4 months ago
- 用于举办 Puzzle Hunt 的网站，主要为 P&KU 这一活动开发。☆20Jun 30, 2026Updated 2 months ago
- Code and Dataset for <Quantitative Analysis of Melodic Similarity in Music Copyright Infringement Cases, ISMIR 2024>☆15Nov 12, 2024Updated last year
- ☆13Nov 2, 2020Updated 5 years ago
- ☆14Jul 5, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The official repository for ICASSP 2020 Transformer VAE paper☆12Apr 25, 2023Updated 3 years ago
- ☆15Sep 20, 2023Updated 2 years ago
- 界隈曲の情報をまとめたwebアプリ☆20Updated this week
- Paint black and white video on taskmgr window☆15Jul 9, 2022Updated 4 years ago
- Some notes for learning Minecraft.☆44Jun 26, 2021Updated 5 years ago
- Make your ts check and ts IntelliSense more naughty（雑魚❤~）☆11Dec 31, 2023Updated 2 years ago
- Models of dependent type theory☆24Aug 10, 2026Updated 2 weeks ago
- Official code for the SIGIR 2025 accepted paper "CDC: Causal Domain Clustering for Multi-Domain Recommendation".☆16Aug 27, 2025Updated last year
- Repository for Osu2MIR: Beat Tracking Dataset Derived From Osu! Data (ISMIR2025 LBD)☆18Oct 6, 2025Updated 10 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.
- Bring Hamlet DLC from Don't Starve to Don't Starve Together☆25Jul 31, 2026Updated 3 weeks ago
- notes on topos theory (Chinese)☆17Nov 28, 2024Updated last year
- 【数据】哔哩哔哩安卓客户端闪屏图☆12Jul 5, 2021Updated 5 years ago
- 超星签到软件 感谢https://github.com/cxOrz/chaoxing-signin项目！☆15Jun 2, 2026Updated 2 months ago
- 翻译idris2教程☆16May 17, 2025Updated last year
- 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☆10Aug 23, 2026Updated last week
- Repository for the "Building a Typechecker from scratch" class☆15Oct 12, 2023Updated 2 years ago
- UOJ 通过题目比较器☆15Jul 1, 2019Updated 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.
- Source code for "Learning Similarity Metrics for Melody Retrieval"☆30Oct 29, 2019Updated 6 years ago
- SOTA 2048 AI (65536 success rate 8.4%；32768 86%) and table generator☆156Aug 16, 2026Updated 2 weeks ago
- Chinese translation to Understanding Ananlysis (Stephen Abbott)☆30May 28, 2025Updated last year
- Resources for my AI4Math Seminar!☆17Dec 6, 2025Updated 8 months ago
- ☆13Updated this week
- 以免在群聊吹水时读不懂群友在说什么☆21Jul 27, 2024Updated 2 years ago
- ☆19Dec 20, 2024Updated last year
- True realtime pixel sort effect for AE with GPU-accelerated bitonic sorting☆21Jul 6, 2026Updated last month
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated last month
- 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.
- VST plugin to play Golden Sun midi and sf2 files☆27May 20, 2026Updated 3 months ago
- Source codes and Datasets for EDDA in CIKM'23☆23Aug 8, 2023Updated 3 years ago
- 《Fonts and Layout for Global Scripts》中文版。一本关于字体设计、Unicode和计算机中复杂文本处理的免费书籍。☆39Apr 19, 2026Updated 4 months ago
- Backs up a whole (or not) chat/channel by forwarding to another one☆19Feb 27, 2026Updated 6 months ago
- fake CUTLASS to get peformance☆26Apr 28, 2026Updated 4 months ago
- A cross-platform chatbot framework written in Rust, featuring a flexible dynamic plugin system.☆19Sep 11, 2025Updated 11 months ago
- ☆17Aug 30, 2024Updated 2 years ago