GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → taktoa → eqsat

taktoa / eqsat

Licence: other
A language-generic implementation of equality saturation in Haskell

Programming Languages

haskell
3896 projects
TeX
3793 projects

Labels

compileroptimizationtheorem-proverequality-saturationterm-indexing

Projects that are alternatives of or similar to eqsat

pytorch-minimize
Newton and Quasi-Newton optimization with PyTorch
Stars: ✭ 51 (+240%)
Mutual labels:  optimization
gibbous
Convex optimization for java and scala, built on Apache Commons Math
Stars: ✭ 17 (+13.33%)
Mutual labels:  optimization
libcaesium
The Caesium compression library written in Rust
Stars: ✭ 58 (+286.67%)
Mutual labels:  optimization
optimo
Keyframe-based motion editing system using numerical optimization [CHI 2018]
Stars: ✭ 22 (+46.67%)
Mutual labels:  optimization
image-optimizer
Smart image optimization
Stars: ✭ 15 (+0%)
Mutual labels:  optimization
Ftrl-FFM
Field-aware factorization machine (FFM) with FTRL
Stars: ✭ 25 (+66.67%)
Mutual labels:  optimization
GPU-Pathtracer
GPU Raytracer from scratch in C++/CUDA
Stars: ✭ 326 (+2073.33%)
Mutual labels:  optimization
dfogn
DFO-GN: Derivative-Free Optimization using Gauss-Newton
Stars: ✭ 20 (+33.33%)
Mutual labels:  optimization
Nonlinear-Optimization-Algorithms
MATLAB implementations of a variety of nonlinear programming algorithms.
Stars: ✭ 86 (+473.33%)
Mutual labels:  optimization
TSSKit-Threshold-Signature-Scheme-Toolkit
The project is open-sourced and funded by Binance Lab.
Stars: ✭ 70 (+366.67%)
Mutual labels:  optimization
photontorch
Highly parallel simulation and optimization of photonic circuits in time and frequency domain based on the deep-learning framework PyTorch
Stars: ✭ 29 (+93.33%)
Mutual labels:  optimization
FrankWolfe.jl
Julia implementation for various Frank-Wolfe and Conditional Gradient variants
Stars: ✭ 47 (+213.33%)
Mutual labels:  optimization
qpmad
ROS-compatible Eigen-based Goldfarb-Idnani quadratic programming solver
Stars: ✭ 41 (+173.33%)
Mutual labels:  optimization
awesome-nn-optimization
Awesome list for Neural Network Optimization methods.
Stars: ✭ 39 (+160%)
Mutual labels:  optimization
dmipy
The open source toolbox for reproducible diffusion MRI-based microstructure estimation
Stars: ✭ 58 (+286.67%)
Mutual labels:  optimization
Totsu
First-order conic solver for convex optimization problems
Stars: ✭ 18 (+20%)
Mutual labels:  optimization
toy code
No description or website provided.
Stars: ✭ 78 (+420%)
Mutual labels:  optimization
yoga-image-optimizer
A graphical tool to convert and optimize JPEG, PNG and WebP images (based on YOGA)
Stars: ✭ 85 (+466.67%)
Mutual labels:  optimization
bio ik
MoveIt kinematics_base plugin based on particle optimization & GA
Stars: ✭ 104 (+593.33%)
Mutual labels:  optimization
awesome-go-perf
A curated list of Awesome Go performance libraries and tools
Stars: ✭ 232 (+1446.67%)
Mutual labels:  optimization
View All Similar Projects ➔

eqsat

An implementation of equality saturation in Haskell.

Compiling

If you have Nix, you can easily build this project by running nix-build ./default.nix --no-out-link -Q. This will eventually print out a store path that looks like /nix/store/<hash>-eqsat-0.1.0, which contains the libraries and executables.

Note that this will only work with Z3 version 4.6.0 or higher.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].