☆10Apr 13, 2024Updated last year
Alternatives and similar repositories for hj-prox
Users that are interested in hj-prox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jul 18, 2019Updated 6 years ago
- CLI tool to record how much time it takes to import each dependency in a Python project☆12Mar 24, 2022Updated 4 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆12Sep 18, 2024Updated last year
- Implementation of Mean Teacher method for Semi Supervised Semantic Segmentation☆16Apr 11, 2023Updated 2 years ago
- C++17 implementation of "Local Bases for Model-reduced Smoke Simulations" [Mercier 2020] in 2D with dynamic obstacles.☆10Mar 22, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Rule-Based Modeling and Simulation Gui☆12Jun 12, 2020Updated 5 years ago
- Controlled Online Optimization Learning (COOL): Finding the Ground State of Spin Hamiltonians with Reinforcement Learning (arXiv:2003.000…☆13Jun 18, 2020Updated 5 years ago
- Exact Content-based Image Retrieval System☆13Jul 11, 2022Updated 3 years ago
- ILP SAT Detailed Router☆13Apr 14, 2020Updated 5 years ago
- Quarto extension to implement RevealJS code-focus☆14Jan 28, 2023Updated 3 years ago
- A DAG processor and compiler for a tree-based spatial datapath.☆16Aug 24, 2022Updated 3 years ago
- Solid Orthotropic Material with Penalisation☆10Jun 28, 2022Updated 3 years ago
- Step-by-step guide for installing scientific libraries for R and Python in ways that maximize their performance☆15Oct 6, 2024Updated last year
- Perfect Hash Table C/C++ Library☆15Nov 22, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆13Jan 19, 2026Updated 2 months ago
- RESTful API for Unipacker (https://github.com/unipacker/unipacker)☆15Mar 12, 2021Updated 5 years ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- Research tools☆11Mar 23, 2019Updated 7 years ago
- Codebase for the Poisson CNN paper☆12Jun 30, 2022Updated 3 years ago
- IPM-LSTM: A Learning-Based Interior Point Method for Solving Nonlinear Programs☆13Oct 23, 2025Updated 5 months ago
- Code of ICML paper arxiv.org/abs/2302.08105☆14May 4, 2023Updated 2 years ago
- Panorama projection code for paper DeepPano: Deep Panoramic Representation for 3D Shape Recognition☆11Jul 14, 2017Updated 8 years ago
- Python codes for generating a dataset with topology optimization results for the base cell of a periodic metamaterial☆11Jun 5, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- BandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver☆11Mar 28, 2023Updated 3 years ago
- R package for simplifying general computation on simplicial complexes☆17Oct 17, 2023Updated 2 years ago
- Official Implement for Paper "Neural Krylov Iteration for Accelerating Linear System Solving"☆13May 6, 2025Updated 10 months ago
- ☆11Aug 25, 2023Updated 2 years ago
- Force-Directed Edge Bundling (FDEB)☆11Apr 21, 2023Updated 2 years ago
- CTF workshop deep learning tutorial and hackathon☆13Feb 16, 2023Updated 3 years ago
- Code for "HyperSDFusion: Bridging Hierarchical Structures in Language and Geometry for Enhanced 3D Text2Shape Generation" CVPR2024☆11Apr 19, 2024Updated last year
- Fast QP Solver in JAX☆29Aug 29, 2024Updated last year
- ☆12Mar 6, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆16May 21, 2020Updated 5 years ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago
- Quantitate binary risk assessment☆17May 9, 2022Updated 3 years ago
- "Hit and Run" sampler☆16May 27, 2022Updated 3 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆21Sep 16, 2020Updated 5 years ago
- 科研工作专用ChatGPT拓展，特别优化学术Paper润色体验，支持自定义快捷按钮，支持markdown表格显示，Tex公式双显示，代码显示功能完善，新增本地Python工程剖析功能/自我剖析功能☆13Mar 31, 2023Updated 2 years ago
- ☆15Nov 20, 2023Updated 2 years ago