logic formal system game in hyperbolic space
☆40Sep 18, 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☆52Apr 22, 2026Updated 5 months ago
- Code and Dataset for <Quantitative Analysis of Melodic Similarity in Music Copyright Infringement Cases, ISMIR 2024>☆15Nov 12, 2024Updated last year
- ☆14Jul 5, 2021Updated 5 years ago
- ☆14Sep 19, 2021Updated 5 years ago
- 界隈曲の情報をまとめたwebアプリ☆20Updated this week
- 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.
- Source files for my experiments not limited to computer graphics.☆15May 11, 2025Updated last year
- 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
- ☆12Jun 29, 2023Updated 3 years ago
- This repository is related to a video about principles of neural networks, which demonstrates how to write a simple neural network in 100…☆12Feb 7, 2023Updated 3 years ago
- 一个基于Hexo-Theme-Anatole-Core的Hexo简约简历主题。☆15Nov 29, 2023Updated 2 years ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆20Sep 15, 2026Updated 3 weeks ago
- notes on topos theory (Chinese)☆18Nov 28, 2024Updated last year
- 【数据】哔哩哔哩安卓客户端闪屏图☆12Jul 5, 2021Updated 5 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.
- 超星签到软件 感谢https://github.com/cxOrz/chaoxing-signin项目！☆19Jun 2, 2026Updated 4 months ago
- A chart generation system for osu!Taiko.☆19Jun 4, 2021Updated 5 years ago
- An UnOfficial Version Of TerraFirmaRescue☆18Updated this week
- 2021mathorcup C题论文、代码、参考文献、笔记☆18Aug 25, 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
- ☆31Aug 11, 2026Updated last month
- Collection for my dotfiles☆10Sep 24, 2026Updated 2 weeks ago
- UOJ 通过题目比较器☆15Jul 1, 2019Updated 7 years ago
- Source code for "Learning Similarity Metrics for Melody Retrieval"☆30Oct 29, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SOTA 2048 AI (65536 success rate 8.4%；32768 86%) and table generator☆162Updated this week
- Code accompanying NCA paper titled "Attribute-based Regularization of Latent Spaces for Variational Auto-Encoders"☆30May 26, 2021Updated 5 years ago
- Chinese translation to Understanding Ananlysis (Stephen Abbott)☆34May 28, 2025Updated last year
- ☆13Sep 15, 2026Updated 3 weeks ago
- 以免在群聊吹水时读不懂群友在说什么☆22Jul 27, 2024Updated 2 years ago
- A font created in the style of the Endfield's belt☆29May 3, 2026Updated 5 months ago
- An instructioal booklet for player without spoiler☆16Oct 17, 2025Updated 11 months ago
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated 2 months ago
- VST plugin to play Golden Sun midi and sf2 files☆27May 20, 2026Updated 4 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.
- Source codes and Datasets for EDDA in CIKM'23☆23Aug 8, 2023Updated 3 years ago
- CVE-2013-2028 python exploit☆19Jun 27, 2020Updated 6 years ago
- A cross-platform chatbot framework written in Rust, featuring a flexible dynamic plugin system.☆19Sep 11, 2025Updated last year
- 使用 WebGPU 实现的光栅化加速平行光线追踪渲染器☆20Apr 2, 2025Updated last year
- ☆17Aug 30, 2024Updated 2 years ago
- 学在吉大客户端☆22Jun 28, 2026Updated 3 months ago
- Code for the paper Language as a Cognitive Tool to Imagine Goals in Curiosity Driven Exploration☆33Nov 9, 2020Updated 5 years ago