A 4D Minesweeper game written in godot
☆12Dec 23, 2022Updated 3 years ago
Alternatives and similar repositories for 4D-Minesweeper-Archived
Users that are interested in 4D-Minesweeper-Archived are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Browser tool to visualize n-dimensional hypercubes and rotate them in n-dimensional space.☆10Oct 22, 2021Updated 5 years ago
- My own collection of small mods for Geode☆14Apr 27, 2026Updated 6 months ago
- A game about love, empathy and mostly sharks☆15Aug 4, 2025Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Outwit your friends as the ghost or cooperate to catch it in this spooky minigame for 2-5 players.☆11Apr 1, 2026Updated 6 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.
- render a class of curved 4D shapes☆12Mar 31, 2026Updated 6 months ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 10 months ago
- Console based text-adventure RPG☆12Apr 16, 2023Updated 3 years ago
- A simple terminal-based implementation of Minesweeper☆19Feb 23, 2023Updated 3 years ago
- Generate project-info.json for use with nix's Maven repository generation functions☆32Nov 25, 2024Updated last year
- Geode mod for Geometry Dash integrating Geometry Dash Demon Ladder features into the game https://gdladder.com☆13Oct 19, 2026Updated last week
- Geode death tracker mod☆13Updated this week
- Versatile Quikscript reference.☆13Jan 31, 2024Updated 2 years ago
- Bookmarklet to take and save notes locally☆19Oct 21, 2026Updated last week
- 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.
- Official repository of dir2ogg☆15Feb 26, 2021Updated 5 years ago
- A feature-rich Wayland screenshot utility for Linux/Hyprland. Uses slurp, grim, and rofi to capture regions, windows, or full screens wit…☆14Jul 7, 2026Updated 3 months ago
- ☆10Aug 28, 2025Updated last year
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- ☆14Feb 26, 2026Updated 8 months ago
- A smooth top-down camera solution with cursor-centric zoom and pan. Features include mouse cursor-based zooming, boundary limits, and smo…☆13Sep 23, 2025Updated last year
- Basic Unicode support for Lean 4☆16Updated this week
- Export video recorded by Steam in a fastest way and without losing quality☆15Oct 5, 2026Updated 3 weeks ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- 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.
- Misc resources for Dotsies - a font that uses dots instead of letters.☆16Apr 3, 2012Updated 14 years ago
- An addon for Godot 4 which allows you to define a set of files and directories which will be copied alongside the project when it is expo…☆14Jul 27, 2026Updated 3 months ago
- Makes it possible to really use concatenated idents in Rust.☆26Apr 23, 2024Updated 2 years ago
- Fuck the Speeching Censorship!☆37Mar 21, 2018Updated 8 years ago
- A formalization of the Banach-Tarski theorem in Lean☆17Jan 4, 2026Updated 9 months ago
- Mods for Unciv, an open-source version of Civ5.☆15Jan 15, 2022Updated 4 years ago
- Manage Go tests inside Emacs☆18Aug 18, 2017Updated 9 years ago
- Flake-based NixOS configuration used on Dell XPS laptop and Ryzen 7 desktop.☆18Jul 7, 2023Updated 3 years ago
- A translation framework for eliminating definitional equalities in Lean☆17Jun 17, 2026Updated 4 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.
- geode mod that adds a bumpscosity slider into GD☆18Feb 23, 2026Updated 8 months ago
- A tiny event logging webservice for software analytics.☆13Mar 26, 2026Updated 7 months ago
- A cosmic, polyphonic, additive FM synthesizer.☆21Apr 6, 2023Updated 3 years ago
- A simple place for me to archive and track arbitrary Linux tools I build and use. To give them a home in the cloud, backed up, and availa…☆17Jan 16, 2025Updated last year
- Visualizes the Riemannian manifolds Solv/Sol, Nil, SL(2,R), H^3 and E^3 in real time using ray marching along geodesics.☆19Dec 5, 2019Updated 6 years ago
- Ask ChatGPT directly from the Chrome address bar (omnibox)☆10Mar 23, 2023Updated 3 years ago
- Animated polyhedra and compounds with Javascript & Three.js☆21Jan 8, 2024Updated 2 years ago