Projects in Awesome Lists tagged with simplifier

https://github.com/meelgroup/arjun

CNF minimizer and minimal independent set minimizer

cnf dimacs-cnf model-counting simplifier

Last synced: 06 Apr 2026

https://github.com/candisio/mongo-selector-simplifier

Algorithmic MongoDB selector simplifier

mongodb query selector simplifier

Last synced: 11 Oct 2025

https://github.com/phun-ky/wrapture

Wrapture lets you go from a Python-trained model to deployable JavaScript with a single command. It generates TypeScript bindings and a Web/Node-compatible wrapper, using WebGPU/WASM-ready ONNX runtimes.

javascript machine-learning model model-conversion onnx pytorch quantization simplifier typescript wasm webgpu wrapture

Last synced: 10 Feb 2026

https://github.com/robertocenteno/wrapture

Wrapture lets you go from a Python-trained model to deployable JavaScript with a single command. It generates TypeScript bindings and a Web/Node-compatible wrapper, using WebGPU/WASM-ready ONNX runtimes.

javascript machine-learning model model-conversion onnx pytorch quantization ruby rubygems simplifier typescript webgpu wrapture