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
• 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
• tscmoo / bwheadless

  View on GitHub
  A tool to launch Starcraft: Brood War in "headless" mode, i.e. no graphics, sound or user input (useful with BWAPI).
  ☆17Jan 9, 2022Updated 4 years ago
• 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 2 years ago
• philopon / haddocset

  View on GitHub
  Generate docset of Dash by Haddock haskell documentation tool
  ☆40Apr 30, 2022Updated 3 years 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
• sparkfun / Ardumoto-Motor_Driver_Shield

  View on GitHub
  Ardumoto Motor Driver Shield for Arduino, created by and available from SparkFun Electronics
  ☆10Aug 13, 2019Updated 6 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 2 weeks ago
• eBay / RTran

  View on GitHub
  Road to Continous Upgrade
  ☆15Aug 12, 2025Updated 6 months ago
• MiSTer-devel / Altair8800_Mister

  View on GitHub
  Altair8800_Mister
  ☆13Dec 9, 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
• dwoll / shotGroups

  View on GitHub
  R package to analyze shot group data: shape, precision, and accuracy
  ☆10Aug 7, 2025Updated 6 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
• llelf / prose

  View on GitHub
  Pure-Haskell proper unicode string handling
  ☆15Jun 5, 2016Updated 9 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 week
• schell / varying

  View on GitHub
  Continuously varying values, made easy :)
  ☆42Oct 21, 2019Updated 6 years ago
• asphalt-framework / asphalt-serialization

  View on GitHub
  Serialization component for the Asphalt framework
  ☆11Jan 26, 2026Updated 2 weeks ago
• rstudio / sparktf

  View on GitHub
  R interface to Spark TensorFlow Connector
  ☆13Sep 13, 2021Updated 4 years ago
• pzhaonet / btcookbook

  View on GitHub
  Base R vs. Tidyverse: a cookbook
  ☆10Jan 2, 2020Updated 6 years ago
• r-simmer / simmer.plot

  View on GitHub
  Plotting Methods for 'simmer'
  ☆10Jul 21, 2025Updated 6 months ago
• qknight / nixos-declarative-containers-example

  View on GitHub
  example how to use declarative containers to deploy arbitrarty webservices on the same system
  ☆11Apr 27, 2014Updated 11 years ago
• larskotthoff / fselector

  View on GitHub
  FSelector R package
  ☆12Aug 22, 2023Updated 2 years ago
• JuliaDynamics / TransferEntropy.jl

  View on GitHub
  Transfer entropy (conditional mutual information) estimators for the Julia language
  ☆14Nov 6, 2022Updated 3 years ago
• rwebapps / gitstats

  View on GitHub
  Gitstats application for OpenCPU
  ☆12May 13, 2024Updated last year
• icicle-lang / jetski-ambiata

  View on GitHub
  Runtime compilation and invocation of C.
  ☆10Mar 25, 2019Updated 6 years ago
• smucode / elm-flat-colors

  View on GitHub
  🎨 280 handpicked colors in 14 palettes for Elm UI, elm/html and others
  ☆10Mar 6, 2023Updated 2 years ago
• cheusov / pipestatus

  View on GitHub
  Portable pipestatus for UNIX/POSIX shells
  ☆24Jan 8, 2021Updated 5 years ago
• briatte / tidykml

  View on GitHub
  Turn KML Files into tidy data frames:
  ☆12Jan 1, 2017Updated 9 years ago
• nicolashahn / py-search-hn

  View on GitHub
  Search Hacker News with Python
  ☆13Jan 30, 2020Updated 6 years ago
• JuliaPOMDP / POMDPSolve.jl

  View on GitHub
  A Julia wrapper for pomdp-solve that interfaces with the POMDPs.jl framework
  ☆11Nov 16, 2025Updated 2 months ago
• etu / etu.github.io

  View on GitHub
  Elis Hirwing's personal website
  ☆11Feb 6, 2026Updated last week
• nebuta / d3js-haskell

  View on GitHub
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Sep 20, 2014Updated 11 years ago
• bgamari / nanomsg-haskell

  View on GitHub
  Haskell bindings to nanomsg
  ☆25Jul 19, 2025Updated 6 months ago