Constraing solving using functional methods in C++ and Haskell.
☆21Jun 21, 2015Updated 10 years ago
Alternatives and similar repositories for MoreMoney
Users that are interested in MoreMoney are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆20Oct 26, 2015Updated 10 years ago
- My NixOS configuration and custom Nix derivations.☆12Nov 2, 2020Updated 5 years ago
- Google Cloud Platform support for Upspin☆13Apr 20, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A kinda, sorta emulation of structured binding for C++14☆17Oct 19, 2018Updated 7 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Feb 9, 2018Updated 8 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Rod's little library for augmenting and extending gvpr, the graph processing tool bundled with Graphviz.☆24Jun 4, 2025Updated 9 months ago
- An implementation of the W3C High Resolution Time Level 2 specification.☆11Oct 16, 2022Updated 3 years 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
- 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
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- QA dashboard for DV360 advertisers☆14Jan 20, 2021Updated 5 years ago
- Splot for Java: An Experimental IoT Machine-to-Machine Library for Monitoring, Control, and Automation☆16Mar 11, 2026Updated 2 weeks ago
- A C implementation of the minimal subset of Vanadium (vanadium.github.io) needed to send RPCs☆11May 5, 2016Updated 9 years ago
- ☁️A collection of awesome Apps Script tools and libraries☆12Nov 13, 2018Updated 7 years ago
- ☆50Mar 11, 2020Updated 6 years ago
- Emulator for Nintendo Game Boy, written in Haskell, partially working☆23Aug 28, 2011Updated 14 years ago
- Example used in the Cloud Build GitHub app tutorial☆12Apr 12, 2021Updated 4 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 3 years ago
- HQS Quantum Simulations' port from ProjectQ to Cirq☆11Sep 4, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ABANDONED. Sider is a persistent object library based on Redis.☆38May 13, 2016Updated 9 years ago
- A fast C++ dynamic_cast<> alternative.☆33Mar 27, 2021Updated 5 years ago
- ☆13May 6, 2024Updated last year
- Code samples from twitch.tv/fhinkel☆11May 21, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/forplay☆13Mar 27, 2015Updated 11 years ago
- Simple sprite and game platform for Brython and/or Pygame.☆16Apr 12, 2024Updated last year
- A dashboard for issue and pull request management in whatwg/html☆14Jun 22, 2016Updated 9 years ago
- MattockFS Computer Forensics File-System☆12Mar 26, 2018Updated 8 years ago
- A simple immutable ordered key/value storage system.☆15Mar 18, 2016Updated 10 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.
- ☆12Sep 1, 2022Updated 3 years ago
- it's art☆10Jul 29, 2015Updated 10 years ago
- Eggs.SQLite is a Modern C++ thin wrapper over SQLite☆14Aug 30, 2012Updated 13 years ago
- A Data Studio Connector for your Habitica Habits☆14Apr 29, 2020Updated 5 years ago
- Kubernetes controller for Atomix 4☆11Feb 6, 2023Updated 3 years ago
- Simple reflection of expressions☆34Jun 18, 2021Updated 4 years ago
- Getting started with Kubeflow (machine learning toolkit for Kubernetes) via Microk8s and Multipass☆18Nov 20, 2018Updated 7 years ago