The implementation of tic-tac-toe using an operadic comonad
☆11Mar 7, 2021Updated 5 years ago
Alternatives and similar repositories for XOperad
Users that are interested in XOperad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Boring and Absurd types☆18May 10, 2026Updated 4 months ago
- Conway's Game of Life using a comonad☆24Jan 3, 2025Updated last year
- Constraing solving using functional methods in C++ and Haskell.☆21Jun 21, 2015Updated 11 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 11 years ago
- The Geometric OptimizAtion Libraries☆20Mar 12, 2025Updated last year
- 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.
- an arrowized category-forward language☆19Oct 14, 2025Updated 11 months ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15May 12, 2025Updated last year
- Pure Haskell client for the Mandrill JSON API☆18Mar 11, 2025Updated last year
- Statistical data visualization☆11Nov 26, 2016Updated 9 years ago
- Use tests to monitor changes in Aeson serialization☆18Aug 27, 2024Updated 2 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Google Cloud Platform support for Upspin☆13Apr 20, 2024Updated 2 years ago
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Early draft proposal to support initializing given objects with fields and private methods☆15Mar 3, 2019Updated 7 years ago
- Numerical computation in native Haskell☆95Jan 16, 2026Updated 8 months ago
- An implementation of the W3C High Resolution Time Level 2 specification.☆11Oct 16, 2022Updated 3 years ago
- An example application using servant-elm.☆20May 23, 2018Updated 8 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- Splot for Java: An Experimental IoT Machine-to-Machine Library for Monitoring, Control, and Automation☆18Mar 11, 2026Updated 6 months ago
- Fork from python/cpython☆12Dec 5, 2018Updated 7 years ago
- Browser extension to integrate Grafana dashboards with Weave Cloud☆10Feb 8, 2021Updated 5 years ago
- ☆12Aug 10, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- A tool set to help developer to use Guava with Java 8☆11Feb 22, 2021Updated 5 years ago
- javascript minifier☆15Dec 8, 2022Updated 3 years ago
- A C implementation of the minimal subset of Vanadium (vanadium.github.io) needed to send RPCs☆11May 5, 2016Updated 10 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Jul 8, 2019Updated 7 years ago
- QA dashboard for DV360 advertisers☆14Jan 20, 2021Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- An OS written in Idris (eventually...)☆19Mar 4, 2015Updated 11 years ago
- README files used to be able to lie. Now they can't! Woo!☆39Apr 8, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.