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:
- Mecrisp Stellaris console via ST/LINK V2☆17Feb 14, 2022Updated 4 years ago
- A generic and efficient SIMD implementation of MSB Radix Sort with separate key and payload datastreams that supports arbitrary key and p…☆15Jan 31, 2025Updated last year
- Tablebase and Engine for Dōbutsu Shōgi☆20Sep 10, 2024Updated 2 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Oct 4, 2021Updated 5 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 15 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- FUSE driver for FreeBSD's UFSv2☆29Jul 28, 2026Updated 2 months ago
- ecm's repository for 8086tiny: a tiny PC emulator/virtual machine☆36Mar 22, 2024Updated 2 years ago
- ☆44Apr 23, 2026Updated 5 months ago
- ☆48Updated this week
- A directory of companies, people, and projects that are Open Source and from Berlin☆12May 3, 2017Updated 9 years ago
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 11 years ago
- Using the wavefunction collapse algorithm to generate random maps with BSicons from Wikipedia☆13Jun 26, 2020Updated 6 years ago
- The full bootable filesystem needed to reset & flash an LSI SAS92xx M1015 SAS controller card (eg, to IT mode), bootable in both DOS & UE…☆33Jan 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- EXPERIMENTAL implementation of side graph☆10Apr 16, 2015Updated 11 years ago
- Read and write an LTO tape's cartridge memory chip☆41May 7, 2021Updated 5 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 9 years ago
- Implementation of the content-aware image resizing algorithm presented in the paper "Seam carving for content-aware image resizing"☆13Jul 22, 2019Updated 7 years ago
- ☆12Nov 12, 2020Updated 5 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 3 years ago
- GPU Smoke Simulation in WebGL☆16May 29, 2019Updated 7 years ago
- PiG - Raspberry Pi for GPU cards☆13May 9, 2023Updated 3 years ago
- Three old pixel fonts.☆12Feb 12, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Software/Circuit info for my kazoo with built-in autotune (and MIDI control!!)☆13Aug 29, 2024Updated 2 years ago
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆11Apr 22, 2019Updated 7 years ago
- Personnal website☆23Aug 6, 2026Updated 2 months ago
- Reverse image search using perceptual hashes. 🔍☆22Dec 4, 2022Updated 3 years ago
- 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 9 months ago
- Proof of concept showing a single class being used to render instancing and batching geometry in a single draw call.☆14Jun 3, 2024Updated 2 years ago
- Old website☆13Feb 15, 2025Updated last year
- Aluminium Extrusion specific CAD program☆12Dec 10, 2025Updated 10 months ago
- A collection of public domain soundfonts and instrument/sound effect recordings.☆13Jul 11, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fast (linear time) algorithm for vertical label placement☆12Jul 23, 2025Updated last year
- jQuery Page Transitions☆11Jan 9, 2021Updated 5 years ago
- The WiFi IR Blaster is designed to connect all of your old, legacy IR-controlled devices to a WiFi network -- exposing them to a new meth…☆10Dec 6, 2018Updated 7 years ago
- TFT_clock is a complete software solution designed to drive four TFT displays as an advanced alarm clock running an ESP32-S3 MCU.☆14Aug 14, 2026Updated 2 months ago
- Prototyping Area HAT (Hardware Attached on Top) for Raspberry Pi☆11May 20, 2020Updated 6 years ago
- Control a MAX7219 LED Matrix display over Art-Net DMX with a Wifi ESP8266/Arduino☆10May 28, 2024Updated 2 years ago
- BTCTKVR is a free open source project which aims to make Bitcoin education accessible to everyone around the world. Feel free to download…☆10Jan 21, 2022Updated 4 years ago