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:
- Unix V6 with Arpanet support☆16Apr 24, 2026Updated last month
- Retrieve compressed UTF-8 strings from Arduino Flash memory (Progmem)☆24Sep 13, 2019Updated 6 years ago
- a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64☆26Oct 12, 2023Updated 2 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
- 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.
- ☆12Sep 17, 2022Updated 3 years ago
- 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
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 8 years ago
- EXPERIMENTAL implementation of side graph☆10Apr 16, 2015Updated 11 years ago
- the solustion to https://openai.com/requests-for-research☆12Mar 23, 2017Updated 9 years ago
- ☆12Nov 12, 2020Updated 5 years ago
- A simple middleware to improving GPU utilization then speedup online inference.☆19Feb 22, 2021Updated 5 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 3 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.
- 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
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆10Apr 22, 2019Updated 7 years ago
- PiG - Raspberry Pi for GPU cards☆13May 9, 2023Updated 3 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
- graduation thesis latex template for sustcer☆13Apr 6, 2015Updated 11 years ago
- Sinsy is a HMM-based singing voice synthesis system.☆10Jan 6, 2016Updated 10 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.
- 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 5 months ago
- This is a chinese version of NLC model (forked from https://github.com/stanfordmlgroup/nlc)☆10Dec 7, 2017Updated 8 years ago
- Code for our paper: ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generatio…☆14Jan 3, 2025Updated last year
- Old website☆11Feb 15, 2025Updated last year
- A Sketch-like text editor.☆14Aug 11, 2021Updated 4 years ago
- LSTM GRU with exact backpropagation derivation and implementation☆13Nov 27, 2017Updated 8 years ago
- Compile and play code (ditties) from Dittytoy.net, an online platform that allows you to create generative music using a minimalistic jav…☆17May 17, 2026Updated last week
- jQuery Page Transitions☆11Jan 9, 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.
- Aluminium Extrusion specific CAD program☆12Dec 10, 2025Updated 5 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
- ☆18Jul 13, 2025Updated 10 months ago
- Open Source Crypto Authentication USB Dongle☆19Oct 3, 2025Updated 7 months ago
- Prototyping Area HAT (Hardware Attached on Top) for Raspberry Pi☆11May 20, 2020Updated 6 years ago
- Docs, Schematic and Board file for the Dianome PDB☆10Feb 22, 2024Updated 2 years ago
- Electronic Cats KiCad Libraries☆16Jun 16, 2023Updated 2 years ago