27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting
☆94Oct 24, 2017Updated 8 years ago
Alternatives and similar repositories for q27
Users that are interested in q27 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Designing Relocatable FPGA Partitions with Vivado Design Suite☆10Apr 20, 2018Updated 8 years ago
- A simple function to add wavedrom diagrams into an ipython notebook.☆24Jan 14, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/asy4cn☆11Jul 11, 2022Updated 3 years ago
- Tuning Assistant for Floating point to Fixed point Optimization☆19Mar 26, 2022Updated 4 years ago
- ☆16Apr 17, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Jan 21, 2017Updated 9 years ago
- FPGA Clock Configuration Device Driver for Linux☆32Dec 4, 2025Updated 6 months ago
- ☆23Feb 23, 2016Updated 10 years ago
- ☆22Aug 2, 2019Updated 6 years ago
- A C++ template library for FPGAs on top of Xilinx Vivado HLS☆14Feb 2, 2017Updated 9 years ago
- ☆11Apr 16, 2026Updated last month
- ☆13Sep 30, 2020Updated 5 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Feb 24, 2023Updated 3 years ago
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆18Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ChipTools is a utility to automate FPGA build and verification☆26Oct 22, 2021Updated 4 years ago
- Prolog in AWK☆17Mar 9, 2017Updated 9 years ago
- SWI-Prolog ported to WebAssembly☆40Jun 21, 2018Updated 7 years ago
- Archive of talks for SF Python meetups☆14Jun 13, 2019Updated 6 years ago
- PYNQ bindings for C and C++ to avoid requiring Python or Vitis to execute hardware acceleration.☆31Apr 9, 2026Updated 2 months ago
- doppioDB - A hardware accelerated database☆51May 2, 2017Updated 9 years ago
- All my Kaggle Notebooks that I've published☆16Oct 24, 2024Updated last year
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- ☆10Feb 12, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Connectal is a framework for software-driven hardware development.☆178Oct 16, 2023Updated 2 years ago
- ☆26Jul 8, 2025Updated 11 months ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- FPGA for uSDR☆23Apr 18, 2026Updated last month
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- Tensor network contraction order optimizers (not only) for OMEinsum☆36Mar 31, 2026Updated 2 months ago
- Graphviz DOT grammar for tree-sitter.☆21Oct 21, 2025Updated 7 months ago
- A Tcl-based CAD Tool Framework for Xilinx's Vivado Design Suite☆44Oct 21, 2019Updated 6 years ago
- Chisel Fixed-Point Arithmetic Library☆18Dec 15, 2025Updated 5 months 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.
- Open source fpga project leveraging vtr CAD flow.☆26Mar 4, 2023Updated 3 years ago
- ☆21Jun 12, 2024Updated last year
- Base code and optimized code for the benchmarks used in the PolyMage paper published at ASPLOS 2015☆20Jun 14, 2016Updated 9 years ago
- IP-XACT XML binding library☆16Jun 23, 2016Updated 9 years ago
- Identifying the compiler family, version and compiler flags that generated a binary☆21Dec 19, 2019Updated 6 years ago
- Proof of concept use of linux-inject and proces patching☆39Feb 20, 2017Updated 9 years ago
- Tropical Numbers☆17Nov 2, 2025Updated 7 months ago