Minesweeper player, solver and analyser in javascript
☆173Jun 29, 2026Updated 2 months ago
Alternatives and similar repositories for JSMinesweeper
Users that are interested in JSMinesweeper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- ☆11Apr 14, 2023Updated 3 years ago
- ☆25Mar 10, 2025Updated last year
- Contains the code I used to find a cluster of 6 dungeons spawning in a straight line (Minecraft JE 1.16-1.17)☆61Jul 3, 2025Updated last year
- 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.
- 针对stm32, ardiuno 等嵌入式平台的, 基于GB2312编码的轻量级中文拼音输入法,支持模糊搜索, 分词词库搜索等功能☆16May 3, 2026Updated 4 months ago
- Copy BibTeX on Google Scholar Search page with a single click☆20Nov 5, 2023Updated 2 years ago
- Music game chart format (.ksh/.kson) specifications for K-Shoot MANIA☆11Aug 2, 2026Updated last month
- ConceptualClimateModels.jl is a Julia package for creating and analysing conceptual models of climate, such as energy balance models, gla…☆10Jul 26, 2026Updated last month
- ☆10Sep 25, 2025Updated 11 months ago
- Flight Mechanics Utils☆12Jun 29, 2021Updated 5 years ago
- A Julia package for Differential Evolution MCMC☆14Mar 5, 2026Updated 5 months ago
- A music bot build in Serenity/Rust.☆14Oct 21, 2021Updated 4 years ago
- Unicode caseless matching☆26Dec 30, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Apr 1, 2026Updated 5 months ago
- Thermodynamic Integration for Turing models and more☆18Jul 5, 2026Updated last month
- The website for Blockbench☆12Aug 28, 2026Updated last week
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- A simple yt-dlp GUI for the COSMIC DE☆13Apr 24, 2025Updated last year
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- Integration of the planning system Fast Downward with the unified-planning framework.☆15Aug 5, 2025Updated last year
- Inspired by old minecaft game mode on Mineplex project built using Spigot and Java.☆17Aug 7, 2026Updated 3 weeks ago
- Utilities for paper writing.☆12Jan 11, 2026Updated 7 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.
- A Rust crate to provide utilities to implement loadable builtins for bash.☆28Mar 18, 2024Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆55Apr 6, 2026Updated 4 months ago
- ☆16Jan 12, 2024Updated 2 years ago
- 64-bit x86 CPU emulation and sandboxing.☆13Dec 6, 2020Updated 5 years ago
- ☆19Feb 20, 2025Updated last year
- Rust crate for interacting with libapt-pkg☆17May 21, 2026Updated 3 months ago
- osu! friend list database☆23Aug 9, 2026Updated 3 weeks ago
- Global request for aiohttp server☆15Dec 6, 2024Updated last year
- Capturing standard output and error streams in Julia.☆31Jun 29, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- ☆13May 4, 2026Updated 4 months ago
- Compilable patches for the decompiled Minecraft server☆59Updated this week
- accelerate your knowledge of LaTeX☆16Feb 28, 2025Updated last year
- Fast new algorithms for finding the medians, implemented in Rust☆15Jun 14, 2024Updated 2 years ago
- Connect other bots as pipes.☆11Nov 6, 2019Updated 6 years ago
- Adds ability to link with any trigger in Obsidian. Each trigger can limit linking to specific folders or file.☆16Jul 10, 2025Updated last year