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:
- A directory of companies, people, and projects that are Open Source and from Berlin☆12May 3, 2017Updated 9 years ago
- Neural boids — flocking behavior learned by neural networks☆12Mar 8, 2026Updated 7 months ago
- EXPERIMENTAL implementation of side graph☆10Apr 16, 2015Updated 11 years ago
- MIDI / MML synthesizer☆12Jan 7, 2023Updated 3 years ago
- [DEPRECATED] Landing page for cloud.gov. New repo: https://github.com/18F/cg-site☆12Nov 22, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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
- A controller for miniature stepper motors☆13Aug 13, 2025Updated last year
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 8 years ago
- A PHP implementation of the DGIM algorithm to count a stream of ones in a window.☆13Oct 28, 2014Updated 12 years ago
- The SubC compiler☆36Jun 16, 2017Updated 9 years ago
- Implementation of Hobby curves (Hobby splines) in javascript☆12Dec 5, 2013Updated 12 years ago
- hardware files for the MotorGo CORE motor controller☆11Apr 27, 2026Updated 6 months ago
- ☆13Mar 5, 2022Updated 4 years ago
- ☆12Nov 12, 2020Updated 5 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.
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 11 years ago
- jQuery Page Transitions☆11Jan 9, 2021Updated 5 years ago
- My Arduboy Mini Games☆15Mar 15, 2019Updated 7 years ago
- Code to generate an infinite zoom animation.☆12Nov 9, 2023Updated 2 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 3 years ago
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆11Apr 22, 2019Updated 7 years ago
- An incomplete, but fast + useful truetype font renderer for embedded devices☆12Oct 7, 2024Updated 2 years ago
- PiG - Raspberry Pi for GPU cards☆13May 9, 2023Updated 3 years ago
- Three old pixel fonts.☆12Feb 12, 2021Updated 5 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.
- Aluminium Extrusion specific CAD program☆12Dec 10, 2025Updated 10 months ago
- Sinsy is a HMM-based singing voice synthesis system.☆10Jan 6, 2016Updated 10 years ago
- Ball-screw–driven leg module CAD data for a quadruped robot.☆13Dec 27, 2025Updated 10 months ago
- Night Light with NeoPixels and Rotary Encoder☆15Dec 12, 2022Updated 3 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
- Chibi Chip Hardware Designs☆11Jul 6, 2017Updated 9 years ago
- Generative, algorithmic art.☆10Aug 7, 2025Updated 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 10 months ago
- Control a MAX7219 LED Matrix display over Art-Net DMX with a Wifi ESP8266/Arduino☆10May 28, 2024Updated 2 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.
- Docs, Schematic and Board file for the Dianome PDB☆10Feb 22, 2024Updated 2 years ago
- ☆14Mar 25, 2026Updated 7 months ago
- The bolt house is a prefabricated house designed for sloped land☆12Oct 26, 2015Updated 11 years ago
- ☆14Oct 17, 2023Updated 3 years ago
- Easy to use raw AIS processing utilities☆10Nov 14, 2018Updated 7 years ago
- IR Remote Controlled MP3 Player☆12Dec 12, 2022Updated 3 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