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:
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 8 months ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆19Jul 30, 2020Updated 6 years ago
- Clojure JavaFX Example Configuration☆16Sep 2, 2012Updated 14 years ago
- Telegram bot for Russian language root words advising and corrections.☆12Dec 5, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 5 months ago
- Adding programming ligatures to my favorite DejaVu Sans Mono☆18Aug 29, 2016Updated 10 years ago
- PyTorch extension enabling direct access to cuDNN-accelerated C++ convolution functions.☆13Mar 14, 2021Updated 5 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated last year
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated last year
- Experiments with higher-order abstract syntax in Agda☆23Jul 14, 2022Updated 4 years ago
- Rate limiting for Servant and as WAI middleware☆17Updated this week
- Type-Level Regular Expressions matching with TypeScript☆23Apr 14, 2023Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆29Jul 5, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple cron-like job scheduling library for Rust.☆28Jul 27, 2026Updated last month
- 🔌 Scrap your qualified import clutter☆40Jul 26, 2021Updated 5 years ago
- It's not life, it's GNU/life.☆16Updated this week
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 8 years ago
- Typed, schema-based, composable Redis library for Haskell☆10Aug 20, 2026Updated last month
- A custom 8-bit computer and software suite☆24Oct 10, 2021Updated 4 years ago
- The CacULE CPU scheduler is based on interactivity score mechanism. The interactivity score is inspired by the ULE scheduler (FreeBSD sch…☆18Aug 20, 2022Updated 4 years ago
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Simple regex bot for Telegram. Also known as "the 80 (EDIT: 129) sloc script with way too many contributors"☆15Aug 19, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- fork of the pink trombone, modified so it can be controlled via OSC☆25Nov 9, 2024Updated last year
- Misc material I use with notmuch mail indexer☆32Mar 11, 2026Updated 6 months ago
- Code Execution plugin for TypingMind.☆13Aug 21, 2023Updated 3 years ago
- Bring scriptable window swallowing to dwm!☆14Jul 9, 2023Updated 3 years ago
- A collection of Processing animations I've made, all in one place.☆12Nov 3, 2018Updated 7 years ago
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- Turn a font into a flow font☆12Apr 30, 2024Updated 2 years 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.
- Rust language grammar support for Atom.☆13Dec 9, 2018Updated 7 years ago
- Accompanies the paper "Learnability and Semantic Universals" ; trains recurrent neural networks to learn to verify sentences with quantif…☆11Aug 10, 2019Updated 7 years ago
- Mollie API client for Haskell http://www.mollie.com☆22Apr 21, 2020Updated 6 years ago
- Maven plugin to create HTML report to show dependecies in DSM view.☆14Sep 26, 2023Updated 2 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Collections Library for Adapton, in Rust☆14Sep 1, 2017Updated 9 years ago
- An experimental matrix client written in reactjs utilizing tailwind and storybook☆16Jun 25, 2024Updated 2 years ago