207 Open source projects that are alternatives of or similar to HashedExpression

Symbolic computation using SymPy and various applications

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers

Making your benchmark of optimization algorithms simple and open

A macro for defining type operators in Rust.

Kinematics and dynamics solvers and controllers.

A variational implementation of classical and quantum annealing using recurrent neural networks for the purpose of solving optimization problems.

Sample Code Collection of Nature-Inspired Computational Methods

Clapeyron (formerly OpenSAFT) provides a framework for the development and use of fluid-thermodynamic models, including SAFT, cubic, activity, multi-parameter, and COSMO-SAC.

Scientific computing in Lean 4

Source codes for HHO paper: Harris hawks optimization: Algorithm and applications: https://www.sciencedirect.com/science/article/pii/S0167739X18313530. In this paper, a novel population-based, nature-inspired optimization paradigm is proposed, which is called Harris Hawks Optimizer (HHO).

Wolfram Language interface to the Gurobi numerical optimization library

Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl

Tensorflow implementation of preconditioned stochastic gradient descent

Code template for workshop "Building eDSLs in functional TypeScript"

Tools for an Aesara-based PPL.

Type-safe and human-readable set of bool flags

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

Iterated Racing for Automatic Algorithm Configuration

A typed, persistent store for values of arbitrary types

Some lecture notes of Operations Research (usually taught in Junior year of BS) can be found in this repository along with some Python programming codes to solve numerous problems of Optimization including Travelling Salesman, Minimum Spanning Tree and so on.

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

C++ templates for type-safe bit manipulation

Julia package for the construction of quantum lattice systems.

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

A SciPy compatible super fast Python implementation for Particle Swarm Optimization.

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

Matlab implementation of the Adam stochastic gradient descent optimisation algorithm

Powell's Derivative-Free Optimization solvers

MATLAB/Octave library for stochastic optimization algorithms: Version 1.0.20

Matlab library for gradient descent algorithms: Version 1.0.1

WartRemover warts for Play Framework.

sopt:A simple python optimization library

Auto generation of type-safe bindings between Reason and Typescript.

Ask for solutions.

A symbolic model checker for Dynamic Epistemic Logic.

PyTorch implementations of recent optimization algorithms for deep learning.

Generate Shell Phrases In OCaml

Official implementation of Auxiliary Learning by Implicit Differentiation [ICLR 2021]

GARI (Genetic Algorithm for Reproducing Images) reproduces a single image using Genetic Algorithm (GA) by evolving pixel values.

🔩 The missing TypeScript utils

This package is the implementation of a one-phase interior point method that finds KKT points of nonconvex optimization problems.

A fully type safe, compile time only units library.

GLSL-targetting embedded compiler, and OpenGL rendering engine.

Supported highly optimized and flexible genetic algorithm package for python

MIRT: Michigan Image Reconstruction Toolbox (Julia version)

Optimized implementation of suffix tree in python using Ukkonen's algorithm.

An extensible, lightweight relational/logic programming DSL written in pure Python

Derivative-Free Optimization Method for Global Optimization (C++)

Data interchange with algebraic data types.

A strongly typed GraphQL API framework

Let's reproduce paper simulations of multi-robot systems, formation control, distributed optimization and cooperative manipulation.

Advanced Combinatorics and Algebraic Number Theory Symbolic Computation library for JavaScript, Python

An open source library for the GPU-implementation of L-BFGS-B algorithm

Library for VLSI CAD Design Useful parsers and solvers' api are implemented.

type - Strong types for C++98, C++11 and later in a single-file header-only library

Symbol manipulation

Specify and synthesize systems using symbolic algorithms

Curso de Ciência da Computação

Safely cast values to int, float, or string in PHP