Pinned Loading

1. OpenROAD OpenROAD Public

   Forked from The-OpenROAD-Project/OpenROAD

   OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

   Verilog

2. hSIMD hSIMD Public

   A proof of concept of a simple eDSL to write and test SIMD code with QuickCheck.

   Haskell 1

3. experiments_jax experiments_jax Public

   Python

4. Haskell eDSL for SIMD code testing Haskell eDSL for SIMD code testing

   1

   {-# LANGUAGE GADTs #-}

   2

   {-# LANGUAGE TypeSynonymInstances #-}

   3

   {-# LANGUAGE FlexibleInstances #-}

   4

   5

   module SIMD where