logic formal system game in hyperbolic space
☆42Oct 18, 2026Updated last 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:
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 5 years ago
- A cross-platform chatbot framework written in Rust, featuring a flexible dynamic plugin system.☆19Sep 11, 2025Updated last year
- 用于举办 Puzzle Hunt 的网站，主要为 P&KU 这一活动开发。☆21Jun 30, 2026Updated 3 months 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.
- An experimental markup language that respects document calculus.☆16Oct 20, 2026Updated last week
- A concise, modern and fast programming language☆38Oct 17, 2026Updated last week
- Property-based testing for Haskell, built on Hypothesis.☆20Oct 22, 2026Updated last week
- Provides data such as schemas, file definitions or themes for bridge. v2☆16Updated this week
- Implementation of Red / Green syntax trees. Inspired by Rowan☆20Jul 20, 2026Updated 3 months ago
- ☆21Jan 28, 2026Updated 9 months ago
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated last year
- Property-based testing for OCaml, built on Hypothesis☆25Updated this week
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 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.
- ☆12Jun 6, 2024Updated 2 years ago
- Duet: A Language for Differential Privacy☆17Jul 5, 2022Updated 4 years ago
- Automating Bloons TD 6 gameplay to save time, enhance efficiency, and empower community collaboration. 专注于自动化气球塔防6的游戏流程，节省时间，提高效率，促进社区合作。…☆13Jun 20, 2026Updated 4 months ago
- 日麻牌理分析☆11Feb 9, 2026Updated 8 months ago
- Type Driven Database Framework.☆46Oct 9, 2026Updated 2 weeks ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆29Jan 10, 2025Updated last year
- The Kraken Programming Language☆59Feb 8, 2024Updated 2 years ago
- ☆24Mar 24, 2026Updated 7 months ago
- 极小的JavaScript Markdown渲染器，具有接近GFM的兼容性。| Minimal JavaScript Markdown renderer with near-GFM compatibility.☆14Apr 7, 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.
- 太极图形演示☆12Feb 23, 2022Updated 4 years ago
- ☆24Updated this week
- If T: Benchmark for Type Narrowing☆13May 12, 2026Updated 5 months ago
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 3 years ago
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆51Oct 5, 2026Updated 3 weeks ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- ☆35Oct 22, 2026Updated last week
- Automatic testing of MoonBit programs☆35Oct 12, 2026Updated 2 weeks ago
- Make your ts check and ts IntelliSense more naughty（雑魚❤~）☆11Dec 31, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 一年过去了，你在华子食堂里花的钱都花在哪儿了？☆12Dec 30, 2025Updated 9 months ago
- 基于 LeviLamina 运行的下一代最全面的 Minecraft 基岩版 BDS 服务器基础&综合性功能插件☆10Jul 17, 2024Updated 2 years ago
- Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"☆31Updated this week
- Beeg float library, a Rust port of Fabrice Bellard's libbf☆22Sep 29, 2026Updated last month
- taichi hackathon repo.☆18Dec 15, 2022Updated 3 years ago
- Inverse Symbolic Calculator, RIES Online☆29Oct 13, 2026Updated 2 weeks 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