discreteoptimization / visualizationLinks
web based visualizations of discrete optimization assignments
☆27Updated 8 years ago
Alternatives and similar repositories for visualization
Users that are interested in visualization are comparing it to the libraries listed below
Sorting:
- small MiniZinc examples demonstrating various language features☆125Updated 8 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Collection of binary heap sort implementation for many languages, primary to compare performance between languages☆41Updated 2 years ago
- Hadoop MapReduce over Hive based implementation of attributed network pattern matching.☆40Updated 11 years ago
- Defunct☆241Updated 8 years ago
- probabilistic programming for PL folks☆159Updated 4 years ago
- ☆17Updated 7 years ago
- A benchmark library for constraints☆98Updated 3 weeks ago
- A flexible and efficient С++ template library for dimension reduction☆234Updated last year
- Library for rigorous verification of non-linear arithmetic☆115Updated last year
- This is a mirror of the subversion repository on COIN-OR☆85Updated 6 years ago
- Python Combinatorial Optimisation Platform☆162Updated 4 years ago
- The online textbook Probabilistic Models of Cognition☆169Updated 8 years ago
- Legacy: Planetary System is a math-enabled Web 3.0 information portal.☆79Updated 9 years ago
- Reinforcement Learning and Robotics in Java☆28Updated 7 years ago
- Neural Network in MySQL☆64Updated 9 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆391Updated 3 weeks ago
- See https://github.com/sagemathinc/smc instead!☆22Updated 6 years ago
- Machine Learning cheat sheet for linear classifiers and clustering algorithms☆189Updated 4 years ago
- ☆70Updated 11 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 3 years ago
- Library for GPU-related statistical functions☆84Updated 13 years ago
- Python bindings to picosat (a SAT solver)☆193Updated 2 months ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Sage Notebook (flask), docs in $SAGE_LOCAL/share/doc/sagenb/index.html☆120Updated 5 years ago
- Source for Lambda Oinks blog. Made with Hakyll and Bootstrap.☆25Updated 11 years ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Updated 3 years ago
- R-implementation of a Markov-Modulated Poisson Process for unsupervised event detection.☆15Updated 9 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆231Updated 4 years ago
- Short introduction to topology for people who don't really care about topology☆49Updated 14 years ago