Haskell library for drawing the Rubik's Cube
☆16May 3, 2024Updated 2 years ago
Alternatives and similar repositories for diagrams-rubiks-cube
Users that are interested in diagrams-rubiks-cube are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- Yet another XKCD comic browser implemented in Elm!☆15Oct 30, 2023Updated 2 years ago
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- The theme for LD31 was "Entire Game on One Screen"☆27Dec 18, 2016Updated 9 years ago
- Slides and code examples for a talk☆22Dec 19, 2017Updated 8 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.
- A python script which calculates the NOPE & NOPE_MAD for given equities using option chains and quotes gathered from TD Ameritrades API (…☆19Mar 25, 2021Updated 5 years ago
- Notes of many concepts regarding chia cryptocurrency☆22Feb 21, 2023Updated 3 years ago
- A plugin for GHC to support super monads.☆26Oct 31, 2018Updated 7 years ago
- ☆15Dec 10, 2020Updated 5 years ago
- Accessibility UX checklist to serve as a method for designers and developers to assess the WCAG compliance of their work.☆16Mar 30, 2023Updated 3 years ago
- Never forget your in-code Todos☆14Dec 21, 2018Updated 7 years ago
- An implementation of TodoMVC☆38Oct 14, 2017Updated 8 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Jan 10, 2017Updated 9 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.
- Live-code music in Haskell!☆34Dec 5, 2023Updated 2 years ago
- 3D version of snake☆16Sep 5, 2017Updated 8 years ago
- Add early return to any do-expression☆48Jul 2, 2021Updated 4 years ago
- GPD Pocket Modification Staffs☆17May 20, 2018Updated 8 years ago
- Haskell test discovery for the tasty framework☆35Jun 5, 2018Updated 7 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 years ago
- Hash consing for arbitrary Haskell data types☆25Dec 4, 2024Updated last year
- DiffusionKinetics open-source monorepo☆116Jan 10, 2023Updated 3 years ago
- CLI string generator based on regex-like operations☆41Apr 14, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A convenience wrapper around the Gloss library to make writing games in Haskell even easier☆19Oct 10, 2020Updated 5 years ago
- Programatically create resources and pre-defined responses for tests☆11Apr 27, 2023Updated 3 years ago
- A CLI file browser and media interface for Raspberry Pi and Omxplayer.☆12Mar 12, 2019Updated 7 years ago
- ☆11Oct 13, 2022Updated 3 years ago
- Compiz 0.8-work which may or may not be awesome☆15Nov 28, 2014Updated 11 years ago
- Feedback services for intelligent tutoring systems☆28Jul 14, 2025Updated 10 months ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Jun 4, 2020Updated 5 years ago
- pArAnoIA - Tiny "Secure" Browser☆13Nov 2, 2024Updated last year
- ☆14Oct 21, 2009Updated 16 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.
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- ☆20Aug 13, 2024Updated last year
- A Nix-style immutable data management library in Python☆14Mar 14, 2024Updated 2 years ago
- neovim plugin for ghcid☆16Dec 8, 2025Updated 5 months ago
- Fourmolu GitHub Action☆13Mar 30, 2026Updated last month
- Vector builder☆16Jan 13, 2026Updated 4 months ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago