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:
- [փ] Varvara/⋃⨉⋂ Emulator and Tal Assembler in Julia.☆15Mar 1, 2024Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Dockerfile for Nginx with autoindex☆15Jan 6, 2026Updated 3 months ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Clojure JavaFX Example Configuration☆16Sep 2, 2012Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 3 months ago
- 这次是可可萝病毒！☆29Apr 18, 2021Updated 5 years ago
- Adding programming ligatures to my favorite DejaVu Sans Mono☆18Aug 29, 2016Updated 9 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- Rate limiting for Servant and as WAI middleware☆16Dec 12, 2025Updated 4 months ago
- A WebExtension to close tabs to the right of the selected one.☆18Mar 17, 2023Updated 3 years ago
- ☆12May 19, 2025Updated 11 months 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.
- 🔌 Scrap your qualified import clutter☆40Jul 26, 2021Updated 4 years ago
- snakebird clone☆37Nov 17, 2020Updated 5 years ago
- A simple cron-like job scheduling library for Rust.☆27Oct 13, 2025Updated 6 months ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 8 years ago
- It's not life, it's GNU/life.☆16Mar 15, 2026Updated last month
- Nim bindings to the BGFX C99 API☆21Sep 16, 2019Updated 6 years ago
- Arthur's Formal Metatheory in Coq☆18Feb 6, 2026Updated 2 months ago
- The CacULE CPU scheduler is based on interactivity score mechanism. The interactivity score is inspired by the ULE scheduler (FreeBSD sch…☆17Aug 20, 2022Updated 3 years ago
- A path finding algorithm for non-grid-based environments.☆12Mar 5, 2023Updated 3 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.
- 📦 Custom Setup to automate package modules discovery☆33Apr 4, 2022Updated 4 years ago
- TypeScript mixins with autocomplete and without headache☆12Sep 13, 2016Updated 9 years ago
- Bring scriptable window swallowing to dwm!☆14Jul 9, 2023Updated 2 years ago
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- Simple VPS provisioning for simple Rails developers. To get production ready hosts without hours spent on dumb work☆20Apr 29, 2022Updated 4 years ago
- Turn a font into a flow font☆12Apr 30, 2024Updated 2 years ago
- Preview man page in your browser as you edit☆12Jul 16, 2016Updated 9 years ago
- Collections Library for Adapton, in Rust☆14Sep 1, 2017Updated 8 years ago
- ☆10May 7, 2019Updated 6 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.
- AHK module to control custom keys located on "Microsoft Natural Ergonomic Keyboard 4000" like zoom slider and favorite buttons☆28Nov 21, 2020Updated 5 years ago
- Crypto for Haskell☆37Jun 24, 2021Updated 4 years ago
- Mirror of my blog, the original thing is at https://decovar.dev/☆12Apr 19, 2026Updated 2 weeks ago
- A wireshark dissector for the Minecraft protocol☆11Feb 16, 2011Updated 15 years ago
- An experimental matrix client written in reactjs utilizing tailwind and storybook☆16Jun 25, 2024Updated last year
- ActiveRecord extension to allow multiple database environments (secondary, deploy) enabling least privilege when possible.☆17Updated this week
- Font manager, keeping font files up to date with a distributed repository model☆24Jan 16, 2018Updated 8 years ago