Power Law Random k-SAT Generator
☆16Nov 21, 2021Updated 4 years ago
Alternatives and similar repositories for Power-Law-Random-SAT-Generator
Users that are interested in Power-Law-Random-SAT-Generator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- Unix V6 with Arpanet support☆16Apr 24, 2026Updated last week
- A collection of tools written or formerly managed by Jörg Schilling (mirror)☆13Apr 5, 2026Updated last month
- Mecrisp Stellaris console via ST/LINK V2☆17Feb 14, 2022Updated 4 years ago
- This is my final project for my Artificial Intelligence class. I generated pattern databases of subsets of the Rubik's cube via a breadt…☆11May 31, 2018Updated 7 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.
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago
- Dimacs CNF utilities☆21Mar 28, 2026Updated last month
- A synchronous, single-threaded interface for starting processes on Linux☆34Oct 4, 2021Updated 4 years ago
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated 2 years ago
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated 11 months ago
- Parallel C++: Efficient and Scalable High-Performance Parallel Programming☆22Aug 15, 2024Updated last year
- ☆39Nov 7, 2022Updated 3 years ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆28Sep 7, 2015Updated 10 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆26Jun 3, 2023Updated 2 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.
- Using the wavefunction collapse algorithm to generate random maps with BSicons from Wikipedia☆13Jun 26, 2020Updated 5 years ago
- A directory of companies, people, and projects that are Open Source and from Berlin☆11May 3, 2017Updated 9 years ago
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- Code to generate an infinite zoom animation.☆11Nov 9, 2023Updated 2 years ago
- Read and write an LTO tape's cartridge memory chip☆39May 7, 2021Updated 4 years ago
- [DEPRECATED] Landing page for cloud.gov. New repo: https://github.com/18F/cg-site☆12Nov 22, 2016Updated 9 years ago
- Get ALL of the AKER Kit source file packs. If you love them, don't forget to tell us about it - aaron@akerkits.com☆10May 24, 2017Updated 8 years ago
- Visual programming with Python and Vue☆25Jan 3, 2023Updated 3 years ago
- QUBO matrix generator for major combinatorial optimization problems written in Python☆25Apr 20, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Xling, a pocket demon☆67May 3, 2021Updated 5 years ago
- An implementation of the revised simplex algorithm in CUDA for solving linear optimization problems in the form max{c*x | A*x=b, l<=x<=u}☆27Dec 9, 2016Updated 9 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 3 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 3 years ago
- Implementation of the content-aware image resizing algorithm presented in the paper "Seam carving for content-aware image resizing"☆13Jul 22, 2019Updated 6 years ago
- ☆13Mar 5, 2022Updated 4 years ago
- Three old pixel fonts.☆12Feb 12, 2021Updated 5 years ago
- PiG - Raspberry Pi for GPU cards☆13May 9, 2023Updated 2 years ago
- Personnal website☆17Dec 18, 2025Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Sinsy is a HMM-based singing voice synthesis system.☆10Jan 6, 2016Updated 10 years ago
- Proof of concept showing a single class being used to render instancing and batching geometry in a single draw call.☆14Jun 3, 2024Updated last year
- A small (but hopefully growing) subset of the brl-cad primitives, being emitted as tcl scripts that mged can directly process into databa…☆11Dec 16, 2025Updated 4 months ago
- My first JUCE plugin - a guitar amp!☆33Mar 5, 2021Updated 5 years ago
- Reverse image search using perceptual hashes. 🔍☆21Dec 4, 2022Updated 3 years ago
- Compile and play code (ditties) from Dittytoy.net, an online platform that allows you to create generative music using a minimalistic jav…☆16Apr 26, 2026Updated last week
- A collection of public domain soundfonts and instrument/sound effect recordings.☆13Jul 11, 2018Updated 7 years ago