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:
- A minigame from Opus Magnum ( web version)☆11Jul 14, 2024Updated last year
- [փ] 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☆41Nov 17, 2025Updated 4 months ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 3 months ago
- 这次是可可萝病毒！☆29Apr 18, 2021Updated 4 years ago
- PyTorch extension enabling direct access to cuDNN-accelerated C++ convolution functions.☆13Mar 14, 2021Updated 5 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
- Typed filepath in haskell☆17Jul 8, 2022Updated 3 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago
- A utility for cloning all your repos, including issues, discussions, stargazers and more!☆17Oct 16, 2022Updated 3 years ago
- Rate limiting for Servant and as WAI middleware☆16Dec 12, 2025Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- Java Implementation of Buttplug server for Android☆10Sep 26, 2020Updated 5 years ago
- ☆12May 19, 2025Updated 10 months ago
- 🔌 Scrap your qualified import clutter☆40Jul 26, 2021Updated 4 years ago
- snakebird clone☆38Nov 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 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • 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☆10Dec 10, 2025Updated 4 months ago
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 4 years ago
- Sokoban programming game made for the NETronics Connect in the game Last Call BBS.☆12Aug 7, 2023Updated 2 years ago
- ☆12Apr 29, 2021Updated 4 years ago
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Apr 5, 2026Updated last week
- 莉沫酱人体实验室！☆11Oct 2, 2022Updated 3 years ago
- 📦 Custom Setup to automate package modules discovery☆33Apr 4, 2022Updated 4 years ago
- Mock node stdout and stderr without pain.☆26Feb 19, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Template repository for Mantine extensions☆22Apr 6, 2026Updated last week
- 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
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- A @yarnpkg tab completion for @PowerShell.☆18May 4, 2022Updated 3 years ago
- Accompanies the paper "Learnability and Semantic Universals" ; trains recurrent neural networks to learn to verify sentences with quantif…☆11Aug 10, 2019Updated 6 years ago
- Converts the JSON that the htmlparser/htmlparser2 package produces back to HTML☆13Jan 5, 2017Updated 9 years ago