Autosolver for Opus Magnum puzzles
☆65Oct 25, 2024Updated last year
Alternatives and similar repositories for OpusSolver
Users that are interested in OpusSolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mod for SHENZHEN I/O☆33Jan 8, 2023Updated 3 years ago
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- A git-worktree(1) manager☆43Nov 17, 2025Updated 6 months ago
- ☆12Jun 25, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 4 months ago
- Tail Call Optimizations in Python☆83Dec 15, 2025Updated 5 months ago
- Adding programming ligatures to my favorite DejaVu Sans Mono☆18Aug 29, 2016Updated 9 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Telegram bot for Russian language root words advising and corrections.☆12Dec 5, 2022Updated 3 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- Automated private dev environment with docker, gitlab CI/CD...☆16Nov 29, 2017Updated 8 years ago
- ギャルでもかけるvim☆18Aug 30, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Haskell to brainfuck compiler☆31May 11, 2014Updated 12 years ago
- Rate limiting for Servant and as WAI middleware☆16May 16, 2026Updated last week
- A WebExtension to close tabs to the right of the selected one.☆18Mar 17, 2023Updated 3 years ago
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 3 years ago
- 🔌 Scrap your qualified import clutter☆40Jul 26, 2021Updated 4 years ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 8 years ago
- Typed, schema-based, composable Redis library for Haskell☆10Dec 10, 2025Updated 5 months ago
- It's not life, it's GNU/life.☆16May 1, 2026Updated 3 weeks ago
- Arthur's Formal Metatheory in Coq☆20Feb 6, 2026Updated 3 months ago
- 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.
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 4 years ago
- Simple regex bot for Telegram. Also known as "the 80 (EDIT: 129) sloc script with way too many contributors"☆16Updated this week
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- A color theme for emacs based on Textmate's Sunburst color scheme☆23Jul 6, 2015Updated 10 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated this week
- Source code for Let’s Build a Websocket Chat Project With Rust and Yew 0.19 Post☆21Feb 14, 2022Updated 4 years ago
- 📦 Custom Setup to automate package modules discovery☆33Apr 4, 2022Updated 4 years ago
- A comprehensive MCP server for Gradle.☆49Updated this week
- Code Execution plugin for TypingMind.☆13Aug 21, 2023Updated 2 years 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.
- Apps for PocketBook Readers☆19Nov 17, 2019Updated 6 years ago
- Bring scriptable window swallowing to dwm!☆14Jul 9, 2023Updated 2 years ago
- Automatically insert disable comments for failing TSLint rules☆11Dec 7, 2022Updated 3 years ago
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- Spring Boot Todo application with mysql☆10Nov 26, 2018Updated 7 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- fork of the pink trombone, modified so it can be controlled via OSC☆24Nov 9, 2024Updated last year