Alternatives and similar repositories for SeaPearlZoo.jl:

Users that are interested in SeaPearlZoo.jl are comparing it to the libraries listed below

• probcomp / ADEV.jl
  Experimental port of ADEV to Julia
  ☆11Updated last year
• elsoroka / Satisfiability.jl
  Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
  ☆33Updated last month
• JuliaConstraints / JuCP.jl
  JuMP extensions for constraint programming.
  ☆16Updated 4 years ago
• JuliaConstraints / ConstraintProgrammingExtensions.jl
  Extensions to MathOptInterface to support constraint programming.
  ☆21Updated last week
• JuliaConstraints / LocalSearchSolvers.jl
  A Julia package to manage Constraint-Based Local Search (CBLS) solvers.
  ☆29Updated 4 months ago
• raphasampaio / UnsupervisedClustering.jl
  Yet another clustering package
  ☆14Updated last week
• ac-tuwien / MHLib.jl
  MHLib.jl - A Toolbox for Metaheuristics and Hybrid Optimization Methods in Julia
  ☆29Updated last month
• IsaacRudich / BipartiteMatching.jl
  Fast and scalable max cardinality matching for bipartite graphs
  ☆23Updated 2 years ago
• JuliaPolyhedra / ConvexHull.jl
  A Julia library for polyhedral computations
  ☆13Updated 4 years ago
• jump-dev / MiniZinc.jl
  A Julia interface to the MiniZinc constraint modeling language
  ☆18Updated this week
• dpsanders / SatisfiabilityInterface.jl
  ☆15Updated 2 years ago
• Cvikli / RelevanceStacktrace.jl
  Julia Relevance Stacktrace FOR THE SUCCESS!
  ☆18Updated 4 months ago
• DrChainsaw / NaiveNASflux.jl
  Your local Flux surgeon
  ☆24Updated 2 months ago
• JuliaReach / RangeEnclosures.jl
  Enclosures of real-valued functions in Julia
  ☆22Updated 3 weeks ago
• JuliaDecisionFocusedLearning / DifferentiableExpectations.jl
  A Julia package for differentiating through expectations with Monte-Carlo estimates
  ☆15Updated 2 months ago
• hdavid16 / DisjunctiveProgramming.jl
  A JuMP extension for Generalized Disjunctive Programming
  ☆30Updated 4 months ago
• AnderGray / IntervalUnionArithmetic.jl
  An implementation of interval union arithmetic in Julia
  ☆11Updated 2 years ago
• JuliaGraphs / GraphsOptim.jl
  A package for graph optimization algorithms that rely on mathematical programming.
  ☆21Updated 5 months ago
• lanl-ansi / MathOptSymbolicAD.jl
  ☆28Updated last week
• JuliaDocs / DocumenterInterLinks.jl
  A plugin for Documenter.jl that enables linking between projects
  ☆30Updated 8 months ago
• aclai-lab / SoleLogics.jl
  Computational logic in Julia!
  ☆15Updated this week
• dfdx / Umlaut.jl
  The Code Tracer
  ☆32Updated 3 weeks ago
• oxfordcontrol / QDLDL.jl
  A free LDL factorisation routine (Julia implementation)
  ☆18Updated last year
• Wikunia / Bonobo.jl
  A general branch and bound framework
  ☆33Updated last year
• giopaglia / ModalDecisionTrees.jl
  Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…
  ☆15Updated 5 months ago
• jonathanBieler / BlackBoxOptimizationBenchmarking.jl
  BlackBoxOptimizationBenchmarking
  ☆21Updated 2 weeks ago
• JuliaReach / ClosedLoopReachability.jl
  Reachability analysis for closed-loop control systems in Julia
  ☆44Updated 3 weeks ago
• FluxML / OneHotArrays.jl
  Memory efficient one-hot array encodings
  ☆18Updated 3 months ago
• aclai-lab / Sole.jl
  Sole.jl – Long live transparent modeling!
  ☆38Updated this week
• albheim / DistributedEnvironments.jl
  Easily sync local environments to distributed workers.
  ☆15Updated 3 years ago