☆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.☆92May 13, 2026Updated 5 months ago
- The website for the MiniZinc constraint modelling system☆19Sep 7, 2026Updated last month
- The Chuffed CP solver☆129Jul 31, 2026Updated 2 months ago
- Este repositório tem como finalidade reunir todos os documentos produzidos sobre práticas de Engenharia de software.☆14Apr 21, 2020Updated 6 years ago
- MiniZinc documentation☆16Feb 9, 2023Updated 3 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.
- My public programs and models - mostly combinatorial problems and puzzles☆408Nov 27, 2025Updated 10 months ago
- The MiniZinc compiler☆704Updated this week
- Charter, TSC, and other governance documents.☆16Mar 13, 2024Updated 2 years ago
- MiniZinc support for Visual Studio Code☆11May 11, 2023Updated 3 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆108Oct 27, 2023Updated 2 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- Implementation of refactoring for cuis☆12Sep 29, 2026Updated 2 weeks ago
- A benchmark library for constraints☆106Sep 28, 2026Updated 2 weeks ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Jul 19, 2018Updated 8 years ago
- Generalized empirical likelihood and generalized method of moments estimators for Python☆11Feb 12, 2018Updated 8 years ago
- Batch conversion of TTF/OTF fonts to Postscript Type1 files for easy usage with the Lout typesetting system ⚠️ This repo has moved to htt…☆14Aug 17, 2026Updated 2 months ago
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- ☆13Jan 10, 2023Updated 3 years ago
- Generic Constraint Development Environment☆337Updated this week
- Yuck is a local-search constraint solver with FlatZinc interface☆64Sep 12, 2026Updated last month
- Slides for teaching numerical methods in quantitative macroeconomics☆12Mar 8, 2022Updated 4 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.
- Revealed preference analysis and preference estimation from choice datasets☆15May 6, 2026Updated 5 months ago
- ☆10Aug 18, 2025Updated last year
- Sonification middleware☆12Oct 7, 2020Updated 6 years ago
- This is the code which in my youtube video. It's a very basic code and can be modified according to your usage.☆10Nov 23, 2021Updated 4 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- JMiniZinc☆18Oct 13, 2020Updated 6 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated last year
- A PowerShell environment for Subversion☆12Jan 8, 2019Updated 7 years ago
- Programming Idioms with Python itertools☆16May 27, 2017Updated 9 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.
- Notes and code for the second part of Econ 722 at UPenn☆20Feb 2, 2021Updated 5 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- My Vim and Neovim files☆15Sep 16, 2026Updated last month
- C++ vector class library, version 1☆27Sep 4, 2026Updated last month
- 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
- ☆23Nov 5, 2021Updated 4 years ago