A headless clone of Mega Crit's Slay the Spire
☆20Apr 30, 2022Updated 4 years ago
Alternatives and similar repositories for decapitate-the-spire
Users that are interested in decapitate-the-spire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slimebound character mod for Slay the Spire☆14Jun 30, 2020Updated 6 years ago
- ☆13Apr 2, 2025Updated last year
- An Open Source SDN Controller for Cloud Computing Data Centers☆13Jan 21, 2019Updated 7 years ago
- 模拟键盘输入进行粘贴，用OCR识图进行文本复制☆10Mar 29, 2026Updated 5 months ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Sep 16, 2021Updated 4 years ago
- Machine learning in Slay the Spire to predict fight outcomes and evaluate cards. Available on the Steam Workshop!☆42Aug 19, 2020Updated 6 years ago
- multi-label classification on DBLP dataset with DeepWalk algorithm to extract latent dimension☆13Jan 17, 2015Updated 11 years ago
- ☆15May 7, 2022Updated 4 years ago
- Dual Adaptive Thinking (DAT) for object navigation☆14Sep 10, 2022Updated 3 years ago
- 基于jqdata，均线及神仙大趋势指标选股☆14Dec 2, 2018Updated 7 years ago
- A PyTorch Implementation of the Skipgram Negative Sampling Word2Vec Model as Described in Mikolov et al.☆15Jan 13, 2020Updated 6 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Declarative, type-safe json-rpc endpoints library☆10Sep 26, 2023Updated 2 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.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 3 years ago
- Translate a subset of C to Verilog☆12May 8, 2019Updated 7 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 3 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 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.
- Benchmarking code for evaluating the cost of cache coherence protocols implemented on different platforms☆14Apr 13, 2021Updated 5 years ago
- A collection of reinforcement learning algorithms.☆10Apr 4, 2021Updated 5 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- A Verilog Filelist parser in Rust☆11Mar 25, 2022Updated 4 years ago
- HomePod + Raspberry Pi + Crystal+ Slack = Magic☆11Dec 16, 2020Updated 5 years ago
- Simple terminal interface for chatgpt☆10Dec 6, 2022Updated 3 years ago
- Edithor AI Powered & OCR Note Editor App☆11Aug 26, 2023Updated 3 years ago
- ☆12Jun 22, 2023Updated 3 years ago
- Python Verilog-AMS Parser☆12Oct 13, 2015Updated 10 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.
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- Library for solving packages and reading repositories (superseded by libsolv)☆11Oct 10, 2019Updated 6 years ago
- Daily digest of your rss feeds☆12Jul 30, 2016Updated 10 years ago
- https://github.com/wcventure/FuzzingPaper☆10Jan 15, 2022Updated 4 years ago
- Rethinking Graph Regularization for Graph Neural Networks (AAAI2021)☆34Jun 6, 2021Updated 5 years ago
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Mar 4, 2026Updated 5 months ago
- a toy synthesizer to explore haskell concepts☆15Feb 24, 2012Updated 14 years ago