RalfRothenberger / Power-Law-Random-SAT-GeneratorView external linksLinks
Power Law Random k-SAT Generator
☆15Nov 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
Sorting:
- Stock prediction site built in React☆14Jan 4, 2023Updated 3 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 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
- notes on various eng/math projects☆11Mar 1, 2023Updated 2 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 10 years ago
- 便携桌面不间断电源☆12Apr 17, 2022Updated 3 years ago
- EXPERIMENTAL implementation of side graph☆10Apr 16, 2015Updated 10 years ago
- ☆18Jul 13, 2025Updated 7 months ago
- Old website☆11Feb 15, 2025Updated 11 months ago
- A worthy contender in the race for a replacement to the Case Management / Electronic Case Filing System.☆14May 8, 2024Updated last year
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆10Apr 22, 2019Updated 6 years ago
- Using the wavefunction collapse algorithm to generate random maps with BSicons from Wikipedia☆11Jun 26, 2020Updated 5 years ago
- ☆12Nov 12, 2020Updated 5 years ago
- Code to generate an infinite zoom animation.☆11Nov 9, 2023Updated 2 years ago
- Girih tiling generator☆14Feb 8, 2018Updated 8 years ago
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 7 years ago
- code to use the Dfrobot Voice Prompt Module with Integrated MP3 Player and Speaker SKU:DFR1173☆11Oct 1, 2024Updated last year
- Board files and example code for the EL Sequencer☆15Jun 27, 2025Updated 7 months ago
- Docs, Schematic and Board file for the Dianome PDB☆10Feb 22, 2024Updated last year
- The bolt house is a prefabricated house designed for sloped land☆12Oct 26, 2015Updated 10 years ago
- Prototyping Area HAT (Hardware Attached on Top) for Raspberry Pi☆11May 20, 2020Updated 5 years ago
- Subtractive synthetizer/web audio API☆12Oct 12, 2020Updated 5 years ago
- Software/Circuit info for my kazoo with built-in autotune (and MIDI control!!)☆11Aug 29, 2024Updated last year
- Control a MAX7219 LED Matrix display over Art-Net DMX with a Wifi ESP8266/Arduino☆10May 28, 2024Updated last year
- ☆17May 19, 2014Updated 11 years ago
- Implementation of minimum cost flow algorithm☆12Nov 9, 2015Updated 10 years ago
- [DEPRECATED] Landing page for cloud.gov. New repo: https://github.com/18F/cg-site☆12Nov 22, 2016Updated 9 years ago
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago
- Seamless procedural texture generator application.☆13Jul 17, 2022Updated 3 years ago
- ☆13Mar 5, 2022Updated 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
- Solver for Wordle online game☆13Jan 14, 2022Updated 4 years ago
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 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
- Tiny Electronic Dice☆11Dec 12, 2022Updated 3 years ago
- Otter's KiCAD-libs☆14Apr 16, 2025Updated 9 months ago
- RGB/White LED tube light for photo, video, and light painting use☆12Jul 8, 2023Updated 2 years ago
- From my YouTube video☆10Nov 15, 2018Updated 7 years ago
- hardware files for motorgo mini☆11Oct 1, 2025Updated 4 months ago