☆13Jul 3, 2024Updated 2 years ago
Alternatives and similar repositories for cp-sat-python-example
Users that are interested in cp-sat-python-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bullet heaven game for Bevy Jam 5☆11Jul 28, 2024Updated 2 years ago
- Public repository for KX AI Plugins and Skills. Implements Claude Marketplace metadata☆22Oct 15, 2026Updated 3 weeks ago
- k for BareMetal☆15Dec 10, 2024Updated last year
- c99/Python frameworks to solve ODEs using arbitrary order Power Series Method (arbitrary precision with GNU MPFR), validate solutions usi…☆11Dec 17, 2025Updated 10 months ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 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.
- go语言实现的墨奇输入法后端引擎☆12Aug 18, 2026Updated 2 months ago
- Tutorial for the book "Algorithmic Differentiation in Finance"☆16Aug 6, 2017Updated 9 years ago
- Caches images both on disk and in memory☆12Sep 30, 2017Updated 9 years ago
- mirror of shakti.com/edu/k.zip☆12Sep 21, 2025Updated last year
- protobuf pyspark conversion☆23Jun 7, 2023Updated 3 years ago
- ⏱ Benchmarks of machine learning inference for Go☆34Aug 2, 2026Updated 3 months ago
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 9 years ago
- A template for building a static site using bower, grunt, and various grunt tasks, including assemble.☆12Nov 12, 2013Updated 12 years ago
- Share agent-generated Markdown as links — GitHub gists or self-hosted, via MCP☆13Sep 1, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Haskell library for visualizing algorithmic decomposition of computations.☆10Nov 21, 2015Updated 10 years ago
- ☆11Dec 3, 2023Updated 2 years ago
- ☆10Sep 20, 2018Updated 8 years ago
- Integration with renet for bevy_replicon☆23Updated this week
- Personal effects☆12Sep 3, 2015Updated 11 years ago
- A simple js library for working with Quicken Interchange Format (.qif) data.☆11Sep 5, 2014Updated 12 years ago
- ☆25Updated this week
- ☆11Jan 6, 2023Updated 3 years ago
- Physics plugin with rapier for the shipyard ECS.☆11Mar 21, 2021Updated 5 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.
- A device-independent random number generator☆18Apr 27, 2024Updated 2 years ago
- ☆13Jan 1, 2015Updated 11 years ago
- YouTube video summary implementation in Node.js.☆14Jan 2, 2024Updated 2 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- MRS-Core provides a transparent, modular, reproducible reasoning substrate.☆11Feb 3, 2026Updated 9 months ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- ☆12Oct 7, 2020Updated 6 years ago
- ☆11Jan 29, 2026Updated 9 months 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.
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- ☆12Apr 27, 2022Updated 4 years ago
- Unstructured computations on emerging architectures.☆18Jun 1, 2022Updated 4 years ago
- A collection of parsers for proprietary statement formats, produced by certain austrian banks. It is a plugin for ofxstatement.☆11Feb 18, 2021Updated 5 years ago
- Quick definitions and intuitive explanations around machine learning.☆39May 19, 2026Updated 5 months ago
- Plain-English browser e2e tests cheap enough to run on every PR. Built on Jev and Playwright, open source, bring your own key.☆14Updated this week