Efficient exact cover solver
☆31Aug 20, 2016Updated 10 years ago
Alternatives and similar repositories for dlx-cpp
Users that are interested in dlx-cpp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 网易云音乐与虾米音乐的部分功能混合☆11Jul 30, 2018Updated 8 years ago
- 这是我学习路上的小程序，写的不好，请见谅☆12Oct 12, 2018Updated 7 years ago
- Validation of sycnmers compared to minimizers☆11May 10, 2025Updated last year
- Advent of Code in pure TensorFlow☆27Jan 22, 2023Updated 3 years ago
- Binary Ninja Plugin for RISC-V☆15Nov 29, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ARM emulator written in C++☆13Oct 4, 2014Updated 11 years ago
- Generation of OrthoDB protein sets for gene prediction experiments☆11Aug 8, 2024Updated 2 years ago
- Working through OS development course☆10Jan 25, 2018Updated 8 years ago
- A development version of the numerically exact variant of MIP solver SCIP☆11Mar 22, 2023Updated 3 years ago
- Hoddarla is an OS project in Golang targeting RISC-V 64-bit system.☆12Oct 28, 2021Updated 4 years ago
- An example of array passing in wasm and C☆16Jun 14, 2020Updated 6 years ago
- Exact real arithmetic in Julia☆13Feb 8, 2020Updated 6 years ago
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- An open-source interface to use the multiple-precision solver SDPA-GMP with YALMIP☆11Apr 8, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- TensorFlow implementation of the Dissimilarity Mixture Autoencoder: https://arxiv.org/abs/2006.08177☆13Dec 8, 2022Updated 3 years ago
- ☆18Jan 29, 2025Updated last year
- Implemented the depth reconstruction part from the paper semi dense visual odometry from a monocular camera https://vision.in.tum.de/memb…☆12Dec 28, 2017Updated 8 years ago
- ☆15Jun 8, 2023Updated 3 years ago
- Code for the paper：<LARNet:Lie Algebra Residual Network for Profile Face Recognition>(ICML2021)☆10Aug 19, 2021Updated 5 years ago
- This repository contains the hardware implementation for Static BFP convolution on FPGA☆10Oct 15, 2019Updated 6 years ago
- Improving Tiny Vehicle Detection in Complex Scenes, ICME, 2018☆12Jul 7, 2018Updated 8 years ago
- Basic Polynomial Algebra Subprograms☆19Jul 29, 2025Updated last year
- OS-free port of LwIP stack to ARM board with lan91c111 ethernet controller☆15Feb 12, 2021Updated 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.
- Official repo of "Self-Supervised-3D-Data-Association"☆11Jan 20, 2021Updated 5 years ago
- FFMPEG.js Examples in browser☆16Apr 16, 2019Updated 7 years ago
- C++ library for a binary quadratic model☆14Jun 29, 2026Updated 2 months ago
- Ultrafast identification of signature sequences in microbial genomes☆20Updated this week
- ☆16Apr 8, 2026Updated 5 months ago
- ☆10Aug 29, 2024Updated 2 years ago
- java solidity☆14Sep 1, 2018Updated 8 years ago
- Local alignment search with k-bounded matching statistics.☆24Sep 16, 2026Updated last week
- This library has moved to https://github.com/googleapis/google-cloud-python/tree/main/packages/google-cloud-notebooks☆20Jun 6, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A ROS package for dynamic semantic mapping☆17Jan 17, 2022Updated 4 years ago
- Composing General Audio Representation by Fusing Multilayer Features of a Pre-trained Model☆26Apr 26, 2023Updated 3 years ago
- 系統程式 -- Nand2tetris Part II (金門大學 / 資訊工程系 106 下學期 )☆18Dec 24, 2018Updated 7 years ago
- A robust algorithm for computing trifocal tensor from 6 point correspondences☆14Aug 8, 2016Updated 10 years ago
- Compare 2 binary files and only show the differences in HEX format.☆18Aug 1, 2020Updated 6 years ago
- ☆17May 8, 2020Updated 6 years ago
- Refinements of the WFA alignment algorithm with better complexity☆26Mar 31, 2022Updated 4 years ago