3D puzzle game written in Haskell with Yampa/GLUT
☆40Dec 13, 2021Updated 4 years ago
Alternatives and similar repositories for cuboid
Users that are interested in cuboid are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 10 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 11 years ago
- A Computer Algebra System written in and for Haskell☆26Jul 10, 2016Updated 9 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A library for higher order functional programming with homotopy maps to construct 3D geometry☆15Apr 11, 2021Updated 5 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- Control you media player with node.js!☆15Oct 4, 2023Updated 2 years ago
- An ansible module for interacting with the Nix package manager☆10Jan 4, 2017Updated 9 years ago
- From Haskell to Hardware via CCCs☆58Jun 22, 2016Updated 9 years ago
- 🗣 A command line tool that can generate English verbal descriptions for Scala source files or snippets.☆12Mar 5, 2018Updated 8 years ago
- Facade for the codemirror☆10Jul 15, 2017Updated 8 years ago
- Small programs with unknown halting status.☆13Jun 7, 2016Updated 9 years ago
- Parser combinator library in Scala☆20Aug 29, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Clojure-style anonymous function literal for Elisp☆12Jan 21, 2015Updated 11 years ago
- A simple library for defining and evaluating a hierarchical state machine (behaviour tree).☆15Aug 29, 2016Updated 9 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Layout Manager Package for Atom Editor☆25May 17, 2015Updated 10 years ago
- A POC for better exception reporting for futures☆12Aug 20, 2014Updated 11 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- A collection of computational methods in science.☆12Jan 6, 2017Updated 9 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Sublime Text - Hide the menu☆11Oct 25, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 2 years ago
- Implicit Drop/move protection for Rust (linear types)☆13Jun 20, 2015Updated 10 years ago
- A Chef cookbook that manages Scala's CI infrastructure.☆15Nov 5, 2025Updated 6 months ago
- ☆13Jul 19, 2018Updated 7 years ago
- A playground for working on advanced data structures in Haskell☆65Aug 31, 2015Updated 10 years ago
- Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)☆15May 7, 2021Updated 5 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 4 months ago
- Extra concurrency primitives☆17Nov 25, 2018Updated 7 years ago
- DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server,…☆46Nov 4, 2015Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2☆38Mar 27, 2026Updated last month
- Session types for asynchronous networking☆21Nov 19, 2015Updated 10 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 11 years ago
- ☆26Aug 31, 2020Updated 5 years ago
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 9 years ago
- Graphics stuff☆19Feb 21, 2026Updated 2 months ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago