MiniZinc/minizinc-doc external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

MiniZinc/minizinc-doc

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/MiniZinc/minizinc-doc)

Close

MiniZinc / minizinc-docView on GitHubMore

• External links
• Readme badge

MiniZinc documentation

☆16Feb 9, 2023Updated 3 years ago

Alternatives and similar repositories for minizinc-doc

Users that are interested in minizinc-doc are comparing it to the libraries listed below

• MiniZinc / iminizinc

  View on GitHub
  IPython / Jupyter notebook magic
  ☆21Sep 7, 2018Updated 7 years ago
• GaloisInc / hpb

  View on GitHub
  Haskell Protocol Buffers
  ☆12Jan 22, 2020Updated 6 years ago
• CP-Unibo / sunny-cp

  View on GitHub
  A CP Portfolio Solver
  ☆26Apr 18, 2023Updated 2 years ago
• MiniZinc / minizinc.github.io

  View on GitHub
  The website for the MiniZinc constraint modelling system
  ☆17Feb 9, 2026Updated 3 weeks ago
• thsutton / rawr

  View on GitHub
  Roaring bitmaps in Haskell
  ☆13Oct 16, 2018Updated 7 years ago
• LeventErkok / sbvPlugin

  View on GitHub
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆46Jan 12, 2026Updated last month
• walck / cyclotomic

  View on GitHub
  A subfield of the complex numbers for exact calculation.
  ☆21May 22, 2020Updated 5 years ago
• potassco / clingcon

  View on GitHub
  ⛓️ Extension of clingo to handle constraints over integers
  ☆35Feb 2, 2026Updated last month
• travitch / persistent-vector

  View on GitHub
  Persistent vectors for Haskell based on array mapped tries
  ☆28May 9, 2022Updated 3 years ago
• roelvandijk / base-unicode-symbols

  View on GitHub
  Unicode alternatives for common functions and operators
  ☆36Nov 16, 2021Updated 4 years ago
• lkaihua / Bipeline

  View on GitHub
  A Web-Based Visualization Tool for Biclustering of Multivariate Time Series
  ☆10Feb 17, 2023Updated 3 years ago
• urs-of-the-backwoods / HGamer3D

  View on GitHub
  A tool to use Haskell for game programming.
  ☆43Dec 11, 2020Updated 5 years ago
• MiniZinc / minizinc-python

  View on GitHub
  Access to all MiniZinc functionality directly from Python
  ☆201Dec 15, 2025Updated 2 months ago
• philopon / haddocset

  View on GitHub
  Generate docset of Dash by Haddock haskell documentation tool
  ☆40Apr 30, 2022Updated 3 years ago
• eBay / RTran

  View on GitHub
  Road to Continous Upgrade
  ☆15Aug 12, 2025Updated 6 months ago
• cmditch / elm-ethereum-generator

  View on GitHub
  Generate an elm-ethereum contract interface from your contract's ABI
  ☆11Dec 7, 2022Updated 3 years ago
• nklein23 / mxnet-with-R

  View on GitHub
  ☆13Dec 28, 2018Updated 7 years ago
• zotero / bundled-styles

  View on GitHub
  CSL styles bundled with Zotero client
  ☆12Jan 26, 2026Updated last month
• rangl-labs / netzerotc

  View on GitHub
  ☆11Jul 15, 2022Updated 3 years ago
• MiniZinc / minizinc-benchmarks

  View on GitHub
  A suite of MiniZinc benchmarks.
  ☆87Dec 12, 2025Updated 2 months ago
• abailly / xxi-century-typed

  View on GitHub
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Oct 21, 2022Updated 3 years ago
• gravidapp / quadraticvoting

  View on GitHub
  ☆12Apr 25, 2024Updated last year
• statnet / networkDynamic

  View on GitHub
  Dynamic Extensions for Network Objects
  ☆11Feb 3, 2026Updated last month
• hycos / regex2smtlib

  View on GitHub
  A regular expression to SMT-LIB constraint translator
  ☆12Jul 12, 2025Updated 7 months ago
• dwoll / shotGroups

  View on GitHub
  R package to analyze shot group data: shape, precision, and accuracy
  ☆10Aug 7, 2025Updated 6 months ago
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆14Jan 21, 2017Updated 9 years ago
• llelf / prose

  View on GitHub
  Pure-Haskell proper unicode string handling
  ☆15Jun 5, 2016Updated 9 years ago
• MiSTer-devel / Altair8800_Mister

  View on GitHub
  Altair8800_Mister
  ☆13Dec 9, 2025Updated 2 months ago
• benoitc / flower

  View on GitHub
  collection of modules to build distributed and reliable concurrent systems in Python.
  ☆206Sep 14, 2013Updated 12 years ago
• MiniZinc / MiniZincIDE

  View on GitHub
  The MiniZinc IDE
  ☆168Updated this week
• schell / varying

  View on GitHub
  Continuously varying values, made easy :)
  ☆42Oct 21, 2019Updated 6 years ago
• georgewhewell / nixos-nanopim3

  View on GitHub
  ☆11Nov 16, 2017Updated 8 years ago
• josyb / KalmanFilter

  View on GitHub
  A simple low-resource usage Kalman Filter using shared resources - in MyHDL
  ☆10Oct 7, 2024Updated last year
• SeeminglyScience / PSSyntaxRewriter

  View on GitHub
  PowerShell abstract syntax tree rewriter library
  ☆11Jan 30, 2019Updated 7 years ago
• jcheng5 / cransim

  View on GitHub
  ☆11Dec 4, 2015Updated 10 years ago
• Wizek / hs-di

  View on GitHub
  Haskell Dependency Injection
  ☆14Sep 1, 2018Updated 7 years ago
• r-simmer / simmer.plot

  View on GitHub
  Plotting Methods for 'simmer'
  ☆10Jul 21, 2025Updated 7 months ago
• JuliaPOMDP / POMDPSolve.jl

  View on GitHub
  A Julia wrapper for pomdp-solve that interfaces with the POMDPs.jl framework
  ☆11Nov 16, 2025Updated 3 months ago
• grin-compiler / ghc-wpc

  View on GitHub
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Feb 14, 2024Updated 2 years ago