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…☆12Jun 22, 2026Updated last month
- This is my final project for my Artificial Intelligence class. I generated pattern databases of subsets of the Rubik's cube via a breadt…☆11May 31, 2018Updated 8 years ago
- A generic and efficient SIMD implementation of MSB Radix Sort with separate key and payload datastreams that supports arbitrary key and p…☆15Jan 31, 2025Updated last year
- A project (LLM Sentinel) that showcases NVIDIA's NeMo-Guardrails and LangChain for improving LLM safety☆13Jan 22, 2025Updated last year
- a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64☆26Oct 12, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Fast and Simple Grand Chase 3D Asset Converter (P3M/FRM Importer and Exporter)☆11Mar 14, 2026Updated 4 months ago
- A collection of research papers related to Natural Language Reasoning☆10May 27, 2022Updated 4 years ago
- BSD 2.11, as patched☆24Oct 20, 2021Updated 4 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 15 years ago
- FUSE driver for FreeBSD's UFSv2☆30Jul 11, 2026Updated 2 weeks ago
- A simple attempt to use OpenCv's HoughLines to detect arrows.☆15Jun 16, 2017Updated 9 years ago
- Generate the best possible time table and schedule for your next semester☆21Jan 27, 2026Updated 5 months ago
- A scalable Dreamer implementation in JAX☆10May 22, 2022Updated 4 years ago
- Granite is a PC emulator written in C++23☆28Feb 18, 2026Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆18Feb 4, 2025Updated last year
- bpm.is sauce☆10Nov 5, 2021Updated 4 years ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Latest KiCad installed inside a docker container from ppa:js-reynaud/ppa-kicad☆10Mar 23, 2015Updated 11 years ago
- Using the wavefunction collapse algorithm to generate random maps with BSicons from Wikipedia☆13Jun 26, 2020Updated 6 years ago
- [DEPRECATED] Landing page for cloud.gov. New repo: https://github.com/18F/cg-site☆12Nov 22, 2016Updated 9 years ago
- Read and write an LTO tape's cartridge memory chip☆40May 7, 2021Updated 5 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
- a Web Audio subtractive, monophonic synthesizer☆12Apr 13, 2018Updated 8 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.
- Implementation of the content-aware image resizing algorithm presented in the paper "Seam carving for content-aware image resizing"☆13Jul 22, 2019Updated 7 years ago
- notes on various eng/math projects☆11Mar 1, 2023Updated 3 years ago
- ☆13Mar 5, 2022Updated 4 years ago
- Girih tiling generator☆13Feb 8, 2018Updated 8 years ago
- GPU Smoke Simulation in WebGL☆15May 29, 2019Updated 7 years ago
- Three old pixel fonts.☆12Feb 12, 2021Updated 5 years ago
- Software/Circuit info for my kazoo with built-in autotune (and MIDI control!!)☆12Aug 29, 2024Updated last year
- firmware for Gecho Loopsynth, STM32F4 based pocket synth (http://gechologic.com/)☆10Apr 22, 2019Updated 7 years ago
- Reverse image search using perceptual hashes. 🔍☆22Dec 4, 2022Updated 3 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.
- Sinsy is a HMM-based singing voice synthesis system.☆10Jan 6, 2016Updated 10 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 7 months ago
- Proof of concept showing a single class being used to render instancing and batching geometry in a single draw call.☆14Jun 3, 2024Updated 2 years ago
- (!! moved to tunnckoCore/opensource !! try `parse-commit-message@canary`) Parse, stringify or validate a commit messages that follows Con…☆31Nov 28, 2019Updated 6 years ago
- A collection of public domain soundfonts and instrument/sound effect recordings.☆13Jul 11, 2018Updated 8 years ago
- A benchmark for sorting algorithms☆61Apr 17, 2021Updated 5 years ago
- A fast (linear time) algorithm for vertical label placement☆12Jul 23, 2025Updated last year