Klotski Game & Solver (華容道遊戲)
☆40Apr 13, 2025Updated 11 months ago
Alternatives and similar repositories for Klotski
Users that are interested in Klotski are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The JavaScript algorithm for solving klotski game.☆49Dec 30, 2022Updated 3 years ago
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 7 months ago
- ☆15Jun 23, 2025Updated 9 months ago
- ☆10Feb 19, 2020Updated 6 years ago
- 自动抽取并格式化论坛帖子，使用AI快速总结☆10Jan 20, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Digital signal processing library☆18Oct 13, 2020Updated 5 years ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- 一个基于MVC模式+状态设计模式的物联网气体检测开源项目☆15Nov 19, 2022Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆22Oct 14, 2023Updated 2 years ago
- Preprocess Markdown in TMP_Text into rich text.☆13Aug 3, 2020Updated 5 years ago
- Mechanized baselines for various type system features☆18Mar 23, 2026Updated last week
- This assists in the creation of new local packages through automation of the package layout and package.json☆12Jan 7, 2022Updated 4 years ago
- A lightweight HTML5 game engine.☆17Feb 28, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Personalized AEC☆19Nov 3, 2022Updated 3 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- ☆21Jul 29, 2024Updated last year
- Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…☆42Sep 30, 2014Updated 11 years ago
- This package allows for you to have folder-specific asset importers.☆13Jan 10, 2022Updated 4 years ago
- This is a demo for simple server side cache☆16Sep 6, 2017Updated 8 years ago
- React fork of https://github.com/antfu/vitesse-lite☆18May 23, 2022Updated 3 years ago
- v2script 是一个基于 TypeScript 开发的 v2ray 配置生成包☆11Dec 17, 2021Updated 4 years ago
- ☆15Feb 18, 2022Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- Simple optimized UI effect. Inspired by Marerial Design☆16Apr 26, 2023Updated 2 years ago
- A very little language☆16Jul 1, 2023Updated 2 years ago
- Code from CS152 lectures☆14Feb 27, 2026Updated last month
- 端到端数据流量伪装加密研究(Android)☆13Dec 16, 2022Updated 3 years ago
- Audio Effects Circuit Design & Embedded Systems (STM32F407 microcontroller) Design Project. Goal: with an analog audio input, pitch shift…☆22Sep 23, 2018Updated 7 years ago
- A simple useless rootkit for the linux kernel. It is a kernel module which hooks up the open() syscall (or potentially any syscall) to re…☆12Mar 13, 2016Updated 10 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- ☆14Jul 14, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Word unscrambling game.☆14Feb 10, 2026Updated last month
- Quickdocs API server☆11Sep 20, 2021Updated 4 years ago
- ☆12Feb 21, 2026Updated last month
- Converts .mid files to text, which can be imported into Warframe's Shawzin feature.☆18Mar 31, 2021Updated 4 years ago
- Gaia Framework for Adobe Flash☆62May 29, 2012Updated 13 years ago
- uniapp原生插件集成vlc播放器☆14Oct 24, 2023Updated 2 years ago
- ☆26Jun 13, 2014Updated 11 years ago