MiniZinc is a free, open-source language for modeling and solving optimization problems, offering tools, documentation, and tutorials for all skill levels.
Model and solve optimization problems easily
MiniZinc is a user-friendly platform and language designed for expressing and solving discrete optimization problems. Whether you're a student, researcher, or developer, you can use MiniZinc to translate real-world challenges into mathematical models and find efficient solutions using a variety of solvers.
The site provides everything you need to get started, including tutorials, a playground for trying out models online, detailed user manuals, and active discussions. It's open-source, so you can freely download, use, and contribute to the platform. If you're interested in learning about constraint programming or tackling complex optimization tasks, MiniZinc offers a supportive environment and comprehensive resources to help you succeed.
Discover websites similar to Minizinc.org based on shared categories, topics, and features.
Jsonnet is a configuration language for developers that makes it easier to write, organize, and manage complex JSON data with less repetition.
Learn about Vuex, the state management library for Vue.js. Find guides, API references, and resources for centralized state in Vue apps.
Redux is a JavaScript library that helps you manage and organize global state in your web apps, making them more predictable and easier to maintain.
SQLAlchemy is a Python toolkit and ORM that helps you manage and interact with databases easily, offering powerful tools for developers and teams.
WebAssembly.org offers resources, docs, and community support for using WebAssembly to run code efficiently in web browsers and other environments.
OpenMP offers official API specifications, guides, tutorials, and community support for parallel programming with the OpenMP development framework.
Python-Future helps you write code that works in both Python 2 and 3, offering clear guides and tools for seamless compatibility and migration.
JSON5 makes working with config files easier by extending JSON with more readable syntax, helping you write and maintain data by hand.
Explore Gambit Scheme: a fast, portable, and powerful Scheme implementation with documentation, downloads, and resources for developers and researchers.
ICU provides libraries and tools for Unicode support, including text, date, time, and locale handling for developers and software projects.
React is a JavaScript library that helps you build interactive user interfaces easily, with guides, tutorials, and resources for developers of all levels.
MicroPython lets you run Python code on microcontrollers, offering resources, docs, and downloads for embedded hardware programming. Open source and free.
PyPy is a fast, compatible alternative Python implementation. Explore features, compatibility info, downloads, and developer resources in one place.
Paper.js is an open-source JavaScript framework for creating vector graphics and interactive drawings right in your web browser.
Haxe offers an open source programming language and toolkit for building cross-platform apps, with resources, downloads, and community support.
wxPython is a cross-platform toolkit for building native desktop apps in Python, offering downloads, documentation, and developer resources.
Steel Bank Common Lisp (SBCL) offers a free, high-performance Common Lisp compiler with an interactive environment and helpful development tools.
Modelica.org is the hub for the Modelica language, offering resources, tools, and a community for modeling complex cyber-physical systems.
Elm is a functional programming language for building reliable web apps, featuring helpful error messages and no runtime exceptions.
CoffeeScript offers clear documentation, guides, and tools to help you write code in CoffeeScript, a language that compiles to JavaScript.
Symfony offers reusable PHP components and a web framework to help you build robust web apps, APIs, and microservices. Learn, get support, and join the community.
ReactiveX introduces a framework for composing and transforming data streams, offering guides, docs, and tools for reactive programming in many languages.
openFrameworks is a free, open-source toolkit for creative coding, helping you build interactive visuals and media applications with C++.
Find official guides, tutorials, and references for Qt, a cross-platform software development framework. Get help building apps for multiple devices and systems.
Explore resources and official documentation for Python packaging tools and standards, maintained by the Python Packaging Authority (PyPA).
Fable is a compiler that lets you write F# code and turn it into JavaScript, making it easy to use F# in modern web development projects.
Cincom Smalltalk offers tools, tutorials, and resources for building custom applications with Smalltalk on Windows and cross-platform environments.
Discover the D programming language—static typing, C-like syntax, and systems-level access. Explore docs, downloads, and resources for developers.
Official site for Elixir, a programming language for building scalable, reliable apps. Find docs, guides, and tools to get started and learn Elixir.
Dyalog offers expert tools and resources for learning, using, and developing with the APL programming language, supporting research and business projects.
Find Android app development tools, guides, and training to build apps for phones, tablets, TV, cars, and wearables. Perfect for new and expert developers.
Explore official Java resources, documentation, and downloads from Oracle—everything you need to start building and running Java applications.
Learn about Ceylon, an open source programming language project by Eclipse, with full documentation, compiler tools, and development resources.
Explore Clojure's official site for language docs, guides, and community resources to help you learn and build with the Clojure programming language.
Akka Documentation offers guides, references, and resources to help you build responsive, resilient applications using the Akka framework.
Processing.org offers a free, open-source platform and language for learning, coding, and creating visual art, with tutorials, examples, and a creative community.
Jython lets you run Python code on the Java Virtual Machine, combining Python's simplicity with Java's power. Find downloads, docs, and community support.
Explore Armed Bear Common Lisp, a complete Common Lisp implementation for the Java Virtual Machine with interpreter, compiler, and Java integration.
JetBrains offers smart development tools like IntelliJ IDEA and Kotlin to help software developers and teams code efficiently and collaborate with ease.
Quick-R is a user-friendly directory for R programming documentation and resources, helping both new and experienced users learn and use R effectively.
Find legacy Java EE resources, documentation, and links to migrated projects now part of Jakarta EE. Ideal for developers working with Java enterprise tools.
Explore the Red programming language with official docs, updates, and resources for developers interested in modern, cross-platform coding.
Apache Groovy offers documentation, downloads, and community resources for the Groovy language—a flexible, Java-like scripting language for the JVM.
Racket offers documentation, tools, and guides for learning and developing with the Racket programming language, including web and application development.
musl libc offers a lightweight C standard library with clear documentation, downloads, and community support for developers and system builders.
Explore Squeak, a free and open-source Smalltalk programming language environment with tools, docs, and downloads for all major platforms.
Free Pascal offers a powerful, open source Pascal compiler supporting many platforms and architectures, plus tools and documentation for developers.
Nim is a fast, expressive programming language that compiles to C, C++, and JavaScript. Explore docs, community, and tools to get started with Nim.
TSDoc helps standardize TypeScript code comments so different tools can read and use them easily. Learn the spec and best practices for clear documentation.
Explore Luau, a fast and safe embeddable scripting language based on Lua, with detailed guides and resources for developers.
MoonScript is a programming language that compiles to Lua, offering enhanced features and simple syntax for developers who use Lua.
TypeScript helps you write safer JavaScript with type support, tools, and docs. Learn, try, and use TypeScript to catch errors before running code.
Kotlinlang.org is the official site for the Kotlin programming language, offering documentation, guides, code examples, and tools for all skill levels.
Explore Julia, a high-performance programming language for technical computing. Find documentation, tutorials, community links, and latest updates.
Discover F#, a functional programming language for .NET. Access guides, documentation, and community resources to learn and use F# effectively.
Ada Home offers resources, tutorials, and community support for Ada programmers, making it easy to learn, teach, or use the Ada programming language.
Explore Scala, a powerful programming language. Access documentation, guides, community forums, and tools to learn, code, and build projects with Scala.
Official website for the Dart programming language, offering documentation, guides, tools, and resources to help you build apps for web, mobile, and more.
Discover Zig, a modern programming language with clear docs, learning guides, and an active community for building reliable, reusable software.
Discover OCaml, a functional programming language site with guides, docs, tools, and a community to help you learn, code, and get started easily.