Alternatives and similar repositories for Genetic-Algorithms:

Users that are interested in Genetic-Algorithms are comparing it to the libraries listed below

• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 10 years ago
• KULeuven-CS / CPL
  Comparative Programming Languages (B-KUL-H0S01A)
  ☆17Updated 10 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• stites / CSSR
  Mirror of CSSR: An Algorithm for Building Markov Models from Time Series
  ☆20Updated 5 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆43Updated this week
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆24Updated last year
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• adobe / Chronikis
  A compiler for Bayesian time series models.
  ☆23Updated 7 months ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆38Updated 4 years ago
• gstew5 / games
  ☆9Updated 4 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆84Updated this week
• friedbrice / AutoDiff
  Code snippets accompanying the talk "Automatic Differentiation in Haskell."
  ☆19Updated 4 years ago
• nicolabotta / SeqDecProbs
  ☆14Updated 7 years ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 4 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• adamwespiser / variational-autoencoders
  Experiments with variational autoencoders in Julia
  ☆16Updated 5 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆31Updated 6 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• bambinos / kulprit
  Kullback-Leibler projections for Bayesian model selection in Python
  ☆31Updated 2 weeks ago