Alternatives and similar repositories for mahf

Users that are interested in mahf are comparing it to the libraries listed below

• bdsul / grape
  Repository to host the GRAPE code developed by the BDS group
  ☆13Updated 6 months ago
• kerschke / flacco
  Feature-Based Landscape Analysis of Continuous and Constrained Optimization Problems
  ☆63Updated 2 years ago
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated last month
• folivetti / pandoc-symreg
  pandoc-like tool for symbolic regression expressions
  ☆14Updated last year
• Marghrid / FOREST
  Regular expression for form validations synthesizer
  ☆15Updated 7 months ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆49Updated 2 weeks ago
• IOHprofiler / IOHexperimenter
  Experimentation procedure for Iterative Optimization Heuristics
  ☆65Updated last month
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆13Updated last year
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆313Updated last week
• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆64Updated 6 months ago
• domain-independent-dp / didp-rs
  Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.
  ☆53Updated last month
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 2 weeks ago
• MLopez-Ibanez / irace
  Iterated Racing for Automatic Algorithm Configuration
  ☆67Updated last month
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated 2 years ago
• opencompl / egg-tactic-code
  ☆16Updated 2 years ago
• numbbo / coco
  Numerical Black-Box Optimization Benchmarking Framework
  ☆289Updated 10 months ago
• nunolourenco / sge3
  Implementation of SGE Algorithm in Python 3
  ☆21Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆15Updated last month
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• CPMpy / XCP-explain
  Explainable Constraint Solving - A Hands-On Tutorial
  ☆22Updated last week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆58Updated last year
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆25Updated this week
• mattmilten / TreeD
  Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions
  ☆29Updated 3 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• erp12 / cbgp-lite
  Code Building Genetic Programming for a narrow subset of the Clojure language.
  ☆10Updated last year
• CPMpy / PyConA
  A cpmpy-based library for constraint acquisition.
  ☆20Updated 2 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 8 months ago
• scipopt / gcg
  ☆15Updated last week
• senkuuuuu / Amadeus
  A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…
  ☆21Updated 4 months ago