vegaluisjose / reticle-evaluationView external linksLinks
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:
- ☆22Feb 8, 2026Updated last week
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆16Feb 2, 2026Updated 2 weeks ago
- 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☆31Jan 7, 2025Updated last year
- 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 3 years ago
- RISC-V GPGPU☆36Mar 6, 2020Updated 5 years ago
- CES VHDL utility library, with packages, memories, FIFOs, Clock Domain Crossing and more useful VHDL modules☆11Jan 17, 2022Updated 4 years ago
- Snapshot of the April 2000 XSOC/xr16 Project Beta 0.93, collateral for Jan Gray's series "Building a RISC System in an FPGA" published in…☆12Jan 7, 2023Updated 3 years ago
- Constraint files for Hardware Description Language (HDL) designs targeting FPGA boards☆47Updated this week
- Designing and implementing LZ4 decompression algorithm in hardware (FPGA) using Verilog hardware description language☆17Feb 20, 2019Updated 6 years ago
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆12Jun 20, 2024Updated last year
- ☆11May 12, 2025Updated 9 months ago
- Covid19 dashboard for India☆10Dec 12, 2022Updated 3 years ago
- This repository contains software for BeagleWire. Docs of BeagleWire: https://beaglewire.github.io/☆11Aug 17, 2021Updated 4 years ago
- A Gitter client API in Python☆10Jul 6, 2017Updated 8 years ago
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- This repo is for Efinix Xyloni development board users. It has projects and software to get you started working with the board.☆45Jan 16, 2023Updated 3 years ago
- A framework that helps implementing swizzle GPU kernels☆51Feb 29, 2020Updated 5 years ago
- Modular, flexible, cross-platform workload profiling and characterization☆13Mar 1, 2021Updated 4 years ago
- ☆12Feb 17, 2018Updated 8 years ago
- Repository for discussing/planning prebuilt binaries of CPython☆23Nov 18, 2025Updated 2 months ago
- A libui wrapper for .NET Core☆13Jun 28, 2016Updated 9 years ago
- Solving Puzzles with Python - tutorial at PyCon India 2012☆18Oct 5, 2012Updated 13 years ago
- Swan Benchmark Suite☆13Sep 17, 2025Updated 4 months ago
- Convert a cubic bezier curve to a series of arcs☆10Sep 3, 2018Updated 7 years ago
- ☆10Jul 21, 2022Updated 3 years ago
- C++ to OpenCL C Source-to-source Translation☆13Feb 15, 2014Updated 12 years ago
- A LNCS template for typst☆15Jan 26, 2026Updated 3 weeks ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Library and command-line tool to gather stats on typeshed packages☆12Updated this week
- Lisp interpreter☆10Jan 8, 2015Updated 11 years ago
- Example how to append data to a Haskell executable using sqlite☆10Mar 16, 2020Updated 5 years ago
- Proof of Concept to learn Amaranth as an entry effort for Supercon's RTL design competition☆10Nov 11, 2022Updated 3 years ago