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:
- Gramods, short for Graphics Modules, is a collection of weakly inter dependent and useful APIs for Virtual Reality and graphics cluster r…☆12Apr 7, 2026Updated 2 months ago
- Retrieve compressed UTF-8 strings from Arduino Flash memory (Progmem)☆24Sep 13, 2019Updated 6 years ago
- 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
- ☆17May 19, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code to generate an infinite zoom animation.☆11Nov 9, 2023Updated 2 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 11 years ago
- [DEPRECATED] Landing page for cloud.gov. New repo: https://github.com/18F/cg-site☆12Nov 22, 2016Updated 9 years ago
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 8 years ago
- EXPERIMENTAL implementation of side graph☆10Apr 16, 2015Updated 11 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
- 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
- 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.
- Three old pixel fonts.☆12Feb 12, 2021Updated 5 years ago
- GPU Smoke Simulation in WebGL☆15May 29, 2019Updated 7 years ago
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆10Apr 22, 2019Updated 7 years ago
- Personnal website☆17Dec 18, 2025Updated 5 months ago
- Software/Circuit info for my kazoo with built-in autotune (and MIDI control!!)☆12Aug 29, 2024Updated last year
- My Arduboy Mini Games☆15Mar 15, 2019Updated 7 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 6 months ago
- Reverse image search using perceptual hashes. 🔍☆22Dec 4, 2022Updated 3 years ago
- A collection of public domain soundfonts and instrument/sound effect recordings.☆13Jul 11, 2018Updated 7 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.
- Aluminium Extrusion specific CAD program☆12Dec 10, 2025Updated 6 months 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.☆12Jan 9, 2026Updated 5 months ago
- Open Source Crypto Authentication USB Dongle☆19Oct 3, 2025Updated 8 months ago
- Prototyping Area HAT (Hardware Attached on Top) for Raspberry Pi☆11May 20, 2020Updated 6 years ago
- Girih tiling generator☆13Feb 8, 2018Updated 8 years ago
- Board files and example code for the EL Sequencer☆15Jun 27, 2025Updated 11 months ago
- Docs, Schematic and Board file for the Dianome PDB☆10Feb 22, 2024Updated 2 years ago
- ☆14Oct 17, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Mar 29, 2023Updated 3 years ago
- A game of CSS selectors☆14Jul 21, 2022Updated 3 years ago
- Open-Source Pick and Place Machines☆18Sep 20, 2024Updated last year
- The bolt house is a prefabricated house designed for sloped land☆12Oct 26, 2015Updated 10 years ago
- PingPongPi☆13Nov 4, 2017Updated 8 years ago
- ☆13Jan 23, 2024Updated 2 years ago
- Algorithmic musical phrase generator☆29Feb 26, 2021Updated 5 years ago