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:
- G2SAT: Learning to Generate SAT Formulas☆49Jun 25, 2020Updated 5 years ago
- Gramods, short for Graphics Modules, is a collection of weakly inter dependent and useful APIs for Virtual Reality and graphics cluster r…☆10Dec 18, 2025Updated 3 months ago
- High-level spiking model definition and workflow framework☆19Mar 3, 2026Updated 3 weeks ago
- Firefox webextension, detach and reattach tab with customizable keyboard shortcuts.☆13Mar 19, 2022Updated 4 years ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Sage source code for the computation of graphs and proofs from "Adventures in Graph Theory" by David Joyner and Caroline Grant Melles☆14Nov 16, 2017Updated 8 years ago
- Homemade implementation of Square Attack against 4 rounds AES☆14Feb 2, 2020Updated 6 years ago
- Python library for Adversarial ML Evaluation☆26Jul 14, 2025Updated 8 months ago
- Generate the best possible time table and schedule for your next semester☆21Jan 27, 2026Updated 2 months ago
- Academic paper reviews & publication presentations for the UofT Computational Social Science course☆27Mar 21, 2019Updated 7 years ago
- Management of Benchmark Instances and Instance Attributes☆21Mar 13, 2026Updated 2 weeks ago
- ☆28Feb 28, 2023Updated 3 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 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆17May 19, 2014Updated 11 years ago
- Linear-complexity Private Function Evaluation (PFE) based on homomorphic encryption (as presented at ESORICS'20).☆10Sep 14, 2020Updated 5 years ago
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- ☆12Sep 17, 2022Updated 3 years ago
- Code to generate an infinite zoom animation.☆11Nov 9, 2023Updated 2 years ago
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 7 years ago
- EXPERIMENTAL implementation of side graph☆10Apr 16, 2015Updated 10 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
- ☆12Nov 12, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Chinese Natural Language Correction via Language Model☆15Sep 14, 2017Updated 8 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
- Three old pixel fonts.☆12Feb 12, 2021Updated 5 years ago
- GPU Smoke Simulation in WebGL☆15May 29, 2019Updated 6 years ago
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆10Apr 22, 2019Updated 6 years ago
- Personnal website☆17Dec 18, 2025Updated 3 months ago
- Software/Circuit info for my kazoo with built-in autotune (and MIDI control!!)☆12Aug 29, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- LLMRouterBench: A Massive Benchmark and Unified Framework for LLM Routing☆44Jan 30, 2026Updated last month
- ☆12Feb 26, 2024Updated 2 years ago
- Sinsy is a HMM-based singing voice synthesis system.☆11Jan 6, 2016Updated 10 years ago
- A survey of known lower bounds in arithmetic circuits.☆33Mar 22, 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
- 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 3 months ago
- Old website☆11Feb 15, 2025Updated last year