Autosolver for Opus Magnum puzzles
☆67Oct 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
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 3 years ago
- Clojure JavaFX Example Configuration☆16Sep 2, 2012Updated 13 years ago
- ☆12Jun 25, 2020Updated 6 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.
- 这次是可可萝病毒！☆29Apr 18, 2021Updated 5 years ago
- Telegram bot for Russian language root words advising and corrections.☆12Dec 5, 2022Updated 3 years ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 3 months ago
- A react table component with fucking difficult features☆10Apr 4, 2020Updated 6 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- 一个全新的基于Proxy的MVVM框架☆13Nov 8, 2017Updated 8 years ago
- A path finding algorithm for non-grid-based environments.☆12Mar 5, 2023Updated 3 years ago
- Typed filepath in haskell☆17Jul 8, 2022Updated 4 years ago
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 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.
- Arthur's Formal Metatheory in Coq☆22Feb 6, 2026Updated 5 months ago
- A utility for cloning all your repos, including issues, discussions, stargazers and more!☆21Oct 16, 2022Updated 3 years ago
- ギャルでもかけるvim☆18Aug 30, 2019Updated 6 years ago
- 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
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jul 5, 2026Updated 2 weeks ago
- 🔌 Scrap your qualified import clutter☆40Jul 26, 2021Updated 4 years ago
- It's not life, it's GNU/life.☆16May 1, 2026Updated 2 months ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 8 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.
- Typed, schema-based, composable Redis library for Haskell☆10Jul 10, 2026Updated 2 weeks ago
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 4 years ago
- A git-worktree(1) manager☆44Nov 17, 2025Updated 8 months ago
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Welcome to record interesting (or strange) dreams here! 欢迎在这里记录有趣的(或奇怪的)梦境!☆16Jan 4, 2026Updated 6 months ago
- 【hrml】超莉沫酱自慰语言！☆15Jan 12, 2021Updated 5 years ago
- fork of the pink trombone, modified so it can be controlled via OSC☆25Nov 9, 2024Updated last year
- TypeScript mixins with autocomplete and without headache☆12Sep 13, 2016Updated 9 years ago
- Misc material I use with notmuch mail indexer☆32Mar 11, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code Execution plugin for TypingMind.☆13Aug 21, 2023Updated 2 years ago
- Automatically convert JavaScript quotes to backticks when typing '${' into VS Code.☆14Mar 10, 2024Updated 2 years ago
- A collection of Processing animations I've made, all in one place.☆11Nov 3, 2018Updated 7 years ago
- Various visualizations of day and night☆13Dec 24, 2020Updated 5 years ago
- 烤肉识别器！☆14Oct 14, 2020Updated 5 years ago
- Automatically insert disable comments for failing TSLint rules☆11Dec 7, 2022Updated 3 years ago
- ☆24May 1, 2023Updated 3 years ago