NP3: Non-exact Projective NPNP Boolean Matching
☆14Sep 7, 2016Updated 9 years ago
Alternatives and similar repositories for CAD-Contest-NP3
Users that are interested in CAD-Contest-NP3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CPI☆21Dec 18, 2018Updated 7 years ago
- ☆15May 25, 2016Updated 10 years ago
- ☆14Jan 7, 2018Updated 8 years ago
- Common compression tool libraries build with ndk-build command☆27Sep 12, 2017Updated 8 years ago
- Universal HTC RUU/ROM Decryption Tool☆18Jun 1, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- MEGA client for linux, based on FUSE, OS X compatible fork☆26Aug 28, 2015Updated 10 years ago
- libmincrypt from AOSP☆40Apr 7, 2020Updated 6 years ago
- Modified Room runtime library for Proguard/R8 obfuscation☆45Jan 11, 2020Updated 6 years ago
- JTar is a simple Java Tar library, that provides an easy way to create and read tar files using IO streams. The API is very simple to use…☆41Mar 14, 2024Updated 2 years ago
- These tools can be used to compile and package the Xposed framework.☆58Jul 18, 2016Updated 10 years ago
- POC app to demo procfs leaks on Android systems☆118Nov 22, 2018Updated 7 years ago
- Tools to edit Android boot.img. NDK buildable, to be usable in an update.zip☆77Nov 13, 2016Updated 9 years ago
- ☆91May 1, 2019Updated 7 years ago
- Frankenstein NDK for building Magisk☆119Oct 5, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- sepolicy patching tool☆120Jul 19, 2018Updated 8 years ago
- lz4-java without Unsafe and native implementation☆32Oct 6, 2020Updated 5 years ago
- ☆109Nov 15, 2019Updated 6 years ago
- Solving a travel salesman problem using Hopfield Network (course project of Intelligent Control class)☆14Oct 8, 2017Updated 8 years ago
- потоковый курс ВМК МГУ по DL☆16Dec 1, 2022Updated 3 years ago
- ☆10Mar 24, 2022Updated 4 years ago
- This is the upstream repository for the Security Enhanced Linux (SELinux) userland libraries and tools. The software provided by this pro…☆150Feb 5, 2026Updated 5 months ago
- Cryptography Library using hardware-accelerated ARM CryptoCell CC310 on nRF52-based Bluefruit☆13Oct 14, 2023Updated 2 years ago
- The server of MagiskBot☆288Dec 5, 2025Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Nicer Python interface to Webassembly modules.☆18Jul 16, 2021Updated 5 years ago
- pub/sub state management with optional deep cloning☆17Apr 6, 2026Updated 3 months ago
- Android CheckBox with additional 3rd "indeterminate" state☆33Aug 11, 2020Updated 5 years ago
- An extremely rudimentary libc with its sole purpose being to build the smallest possible executable for Magisk☆68Apr 20, 2026Updated 3 months ago
- Patch sources and generate files for BusyBox on Android☆186Oct 6, 2024Updated last year
- BusyBox building with command ndk-build☆290Jun 21, 2024Updated 2 years ago
- ☆28Apr 10, 2026Updated 3 months ago
- A simple Bluetooth Scanner in C# for UWP☆13Apr 30, 2019Updated 7 years ago
- Prune is a constraint logic programming language with branching heuristic.☆38Jul 17, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Run Ubuntu with pre-installed Desktop Environments in android/termux with ease! Everything is preinstalled so just download install and d…☆10Jul 20, 2022Updated 4 years ago
- Keeping phh's Superuser fresh☆268Jul 15, 2018Updated 8 years ago
- ☆11Jul 17, 2026Updated last week
- ☆79Apr 22, 2026Updated 3 months ago
- ☆14Jul 8, 2020Updated 6 years ago
- ☆20Apr 8, 2023Updated 3 years ago
- LLVM libc++ without exception and RTTI, specifically for Android.☆149Jan 19, 2025Updated last year