☆70Mar 1, 2024Updated 2 years ago
Alternatives and similar repositories for specialization-examples
Users that are interested in specialization-examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A suite of MiniZinc benchmarks.☆93May 13, 2026Updated 5 months ago
- The website for the MiniZinc constraint modelling system☆19Sep 7, 2026Updated 2 months ago
- The MiniZinc IDE☆180Updated this week
- IPython / Jupyter notebook magic☆21Sep 7, 2018Updated 8 years ago
- A Repository of Homebrew Formulae for COIN-OR Projects☆12Mar 16, 2026Updated 7 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 style for equals assignment, based on the styler package☆13Apr 30, 2024Updated 2 years ago
- The MiniZinc compiler☆705Updated this week
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated last year
- Java-based lightweight Prolog virtual machine☆38Jul 3, 2024Updated 2 years ago
- Unofficial Rust wrappers to the C++ library Google OR-Tools, open source software for combinatorial optimization☆13May 18, 2024Updated 2 years ago
- Examples and Models.☆18Jul 16, 2026Updated 3 months ago
- Implementation of refactoring for cuis☆12Oct 29, 2026Updated last week
- Small shell script to install and update Gauche Scheme easily☆17May 6, 2026Updated 6 months ago
- ☆12Nov 29, 2023Updated 2 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.
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 11 years ago
- A Julia package for BDD and OBDD☆12Oct 27, 2020Updated 6 years ago
- ☆10Jul 19, 2018Updated 8 years ago
- Generic Constraint Development Environment☆339Updated this week
- This is a R package for uploading and downloading files to sharepoint. You need to create an app registration before this works.☆12Sep 12, 2026Updated last month
- R Interface to MiniZinc☆14Oct 17, 2021Updated 5 years ago
- Personnal programms for AVR FlashForth☆12Feb 26, 2022Updated 4 years ago
- ☆15Apr 13, 2026Updated 6 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.
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- Scheme for the browser and Node.js☆14Jul 18, 2012Updated 14 years ago
- Access to all MiniZinc functionality directly from Python☆213Sep 10, 2026Updated last month
- Slides for teaching numerical methods in quantitative macroeconomics☆12Mar 8, 2022Updated 4 years ago
- OS-neutral interface to disable TCP/UDP offload to fix flaky networking on GitHub-hosted runners☆19Aug 2, 2026Updated 3 months ago
- Thrust, voltage, amperage, and RPM sensing designed to replace the internal electronics in the Turnigy Thrust stand or a custom built sta…☆15Dec 31, 2020Updated 5 years ago
- ☆17Nov 2, 2026Updated last week
- Simple, powerful & fast utility to migrate Oracle to Postgresql☆18May 3, 2024Updated 2 years ago
- https://huyenchip.com/ml-interviews-book/☆10Feb 5, 2021Updated 5 years 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.
- Data frames for Common Lisp☆14May 14, 2021Updated 5 years ago
- Standard C++ for Arduino (port of uClibc++)☆19Sep 18, 2012Updated 14 years ago
- see the whole projects in our site esp32.forth2020.org or join the https://www.facebook.com/groups/forth2020 Forth2020 Facebook group.☆14May 10, 2023Updated 3 years ago
- Minimal Example of the Rust extendr Crate☆21Jul 7, 2023Updated 3 years ago
- Paper: inexact GMRES with fast multipole method and low-p relaxation☆11Aug 23, 2023Updated 3 years ago
- The Oberon+ Programming Language☆19Jan 29, 2024Updated 2 years ago
- As a mascot for the SFU Anime Club, Ren is our in-house Discord bot. Includes first/third party modules that are in use.☆17Sep 11, 2026Updated last month
Are these results useful?