Reticle evaluation (PLDI 2021)
☆12Apr 12, 2021Updated 4 years ago
Alternatives and similar repositories for reticle-evaluation
Users that are interested in reticle-evaluation are comparing it to the libraries listed below
Sorting:
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆16Mar 2, 2026Updated last week
- ☆23Updated this week
- Automatic testing of Haskell programs.☆13Jun 10, 2025Updated 8 months ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- DVI video out example for prjtrellis☆17Jan 20, 2019Updated 7 years ago
- Quantum Fast Approximate Synthesis Tool☆19Jan 23, 2023Updated 3 years ago
- A special-purpose processor for pure, non-strict functional languages☆31Feb 17, 2026Updated 2 weeks ago
- Open source MPSoC running 620 MIPS (CHStone) of RISC-V (RV32iMC) programms on the ARTY board (XC7A35T).☆22Dec 20, 2019Updated 6 years ago
- ☆22Mar 5, 2022Updated 4 years ago
- RISC-V GPGPU☆36Mar 6, 2020Updated 6 years ago
- Constraint files for Hardware Description Language (HDL) designs targeting FPGA boards☆47Feb 12, 2026Updated 3 weeks ago
- This repository contains software for BeagleWire. Docs of BeagleWire: https://beaglewire.github.io/☆11Aug 17, 2021Updated 4 years ago
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- A Gitter client API in Python☆10Jul 6, 2017Updated 8 years ago
- CES VHDL utility library, with packages, memories, FIFOs, Clock Domain Crossing and more useful VHDL modules☆11Jan 17, 2022Updated 4 years ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- Designing and implementing LZ4 decompression algorithm in hardware (FPGA) using Verilog hardware description language☆17Feb 20, 2019Updated 7 years ago
- Covid19 dashboard for India☆10Dec 12, 2022Updated 3 years ago
- ☆11May 12, 2025Updated 9 months ago
- Analyze experimental data with Programming by Navigation☆17Updated this week
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆12Jun 20, 2024Updated last year
- This repo is for Efinix Xyloni development board users. It has projects and software to get you started working with the board.☆46Jan 16, 2023Updated 3 years ago
- A framework that helps implementing swizzle GPU kernels☆51Feb 29, 2020Updated 6 years ago
- PNG reader in a single, portable C file and header that dumps to raw RGBA pixels.☆12Feb 24, 2021Updated 5 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- An offline player for livescribe 3 smart pens.☆11Jan 21, 2023Updated 3 years ago
- Convert cklink-lite.hex to support stm32f103 as cklink-lite debugger☆13Mar 2, 2023Updated 3 years ago
- Converter from Allegro to KiCad, and Allegro extract viewer☆13Feb 20, 2020Updated 6 years ago
- Repository for discussing/planning prebuilt binaries of CPython☆25Nov 18, 2025Updated 3 months ago
- ☆11May 21, 2021Updated 4 years ago
- The Python programming language☆22Updated this week
- Fault Injection Automatic Test Equipment☆16Nov 22, 2021Updated 4 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- A libui wrapper for .NET Core☆13Jun 28, 2016Updated 9 years ago
- 20-sided regular icosahedron made of PCBs with WS2812B-Mini 3535 RGB LEDs, LiPo battery, accelerometer, gyro, compass & other sensors.☆12Sep 2, 2020Updated 5 years ago
- Experimental, high-performance GPU-accelerated rasterizer for common Web content☆11Jul 16, 2015Updated 10 years ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago