9 个仓库
Repeated execution of objective functions with varying parameters to identify optimal outputs.
Distinct from Functional: Distinct from Functional: focuses on the execution of objective functions for optimization rather than general functional programming utilities.
Explore 9 awesome GitHub repositories matching programming languages & runtimes · Objective Function Execution. Refine with filters or upvote what's useful.
Optuna is a Python-based hyperparameter optimization framework designed to automate the search for optimal machine learning model configurations. It functions as a Bayesian optimization library that systematically tests parameter combinations to maximize or minimize objective functions, streamlining the model development process through iterative evaluation. The project distinguishes itself through a define-by-run dynamic construction model, which allows users to build complex, conditional search spaces using standard programming logic. Its architecture is highly modular, featuring a pluggabl
Runs an objective function repeatedly with varying input parameters to identify the values that minimize or maximize the function output.
HVM2 is a high-performance execution environment for pure functional programs, implemented as a systems-level runtime in Rust. It functions as a massively parallel functional runtime that uses interaction combinators to achieve automatic parallelism across multi-core CPUs and GPUs. The project distinguishes itself by using a graph-rewriting computational model to execute programs via local reduction rules, which eliminates the need for manual locks or atomic operations. It employs beta-optimal reduction and lazy evaluation to optimize higher-order functions and eliminate redundant computation
Automatically executes pure functional code across multi-core CPUs and GPUs without manual locks.
Enso is a visual dataflow programming environment and multi-language data processing engine that compiles Enso, Python, Java, and JavaScript into a unified representation with a shared memory model for zero-overhead inter-language calls. It functions as a self-service data preparation and analysis platform where users can build data pipelines by connecting nodes in a graph, switching between a no-code visual interface and a code view while keeping all changes reviewable. The platform also serves as a cloud data workflow scheduler and API exposer, allowing workflows to run on a timetable or be
Automatically distributes calculations across available CPUs and GPUs without manual intervention.
Inngest is a durable execution framework and event-driven automation engine designed to orchestrate background workflows. It enables developers to build resilient, stateful processes by memoizing function steps, ensuring that long-running tasks can automatically resume from the last successful operation after failures, timeouts, or infrastructure restarts. The platform distinguishes itself through its event-driven architecture, which uses a schema-validated bus to trigger functions and coordinate complex, multi-step logic. It employs an onion-model middleware approach for cross-cutting concer
Executes function steps eagerly to reduce latency during successful runs while automatically falling back to standard orchestration for retries.
Joblib 是一套用于并行化计算工作负载和优化大型数值数据集及函数结果存储的实用工具。它作为并行计算库和多进程包装器,将函数执行分配到多个 CPU 核心上,以加速独立任务和计算循环。 该项目提供了一个磁盘缓存框架,将昂贵的函数输出持久化到文件系统,仅在输入参数发生变化时才重新评估。它进一步专注于大型数值数组的序列化,利用高效的压缩和内存映射来优化海量数据集的存储和检索。 该工具包包括并行函数映射功能,并使用可插拔的执行后端来控制任务如何在可用硬件上分配。其存储层涵盖了复杂对象持久化和序列化数据的透明压缩。
Provides a mapping interface to distribute the evaluation of functions across multiple processes or threads.
Nevergrad is a gradient-free optimization library and hyperparameter optimization framework designed to find the minimum of objective functions without using derivatives. It serves as an asynchronous optimization engine that decouples parameter suggestions from result reporting to support parallel function evaluations. The project specializes in multi-objective optimization to identify Pareto fronts for competing goals and provides a suite for benchmarking the performance and convergence of different optimization routines. It supports black-box system optimization, enabling the tuning of exte
Executes the objective function across multiple threads or workers to discover optimal parameters more quickly.
Verona is a research programming language designed to prevent data races through a system of concurrent ownership and deep immutability. It utilizes a deeply immutable memory model to ensure that complex objects cannot be mutated, allowing data to be shared across concurrent threads without synchronization locks. The project features a deterministic parallel execution engine that ensures reproducible outputs regardless of thread timing. It employs a region-based memory manager to assign memory regions to specific threads or processes, reducing contention in producer-consumer workloads. The s
Ensures race-free results by combining message passing and ownership transfers for parallel execution.
Symbolics.jl is a foundational framework for symbolic mathematics, automated differentiation, and scientific compilation within the Julia programming language. It provides a comprehensive system for algebraic manipulation, expression simplification, and the construction of mathematical models, enabling users to represent complex physical and chemical systems as symbolic equations. The library distinguishes itself through a source-to-source compilation engine that translates high-level symbolic representations directly into optimized, parallelized, and hardware-specific numerical code. By util
Transforms symbolic expressions into high-performance parallelized functions that integrate directly into existing computational workflows.
Tiramisu is a polyhedral C++ compiler framework designed to express and optimize data-parallel algorithms for diverse hardware accelerators. It provides a programming interface that allows developers to define mathematical expressions, manage loop iteration spaces, and organize functions targeting heterogeneous architectures. The system features an advanced compilation infrastructure that abstracts computations into a hardware-agnostic intermediate representation before lowering them into native machine code or hardware configuration bitstreams. It calculates exact data flow dependencies thro
Enables defining functions composed of multiple computations to structure data-parallel algorithms.