marlls1989

arv

ARV: Asynchronous RISC-V Go High-level Functional Model

ascend-freepdk45

A free standard cell library for SDDS-NCL circuits

pulsar

Pulsar asynchronous synthesis framework

riscv-tests

Test suite for RISCV processors

immutable_string

verilog

A Verilog parser for Haskell.

drexpander

Pulsar dual-rail expander and HBCN constrainer

arv-coremark

astronvim-config

bitset-ng

A compact functional set data structure

coin_cbc

Rust bindings to the CoinOR CBC MILP Solveur using the C API.

dados-covid

Backup dados oficiais do ministerio da saude

genLiberateArcs

glpk-hs

Haskell bindings to glpk

hdl_examples

hf-risc

HF-RISC SoC

labeledgraph

A Graph Library for Rust

liberty

liberty-parse

Liberty format parser

nom-bibtex

A feature complete bibtex parser using nom

orca-mpsoc

This repository holds the hardware project for the ORCA MPSoC platform.

plex

a parser and lexer generator as a Rust procedural macro

prezto

The configuration framework for Zsh

riscv-decode

Simple library for decoding RISC-V instructions

rust-gurobi

Unofficial Rust API for Gurobi Optimizer

spellcheck

vcd_frequency

Quick Hack to extract the switching activity overtime from a vcd dump

verif

XTEA_Async

yosys

Yosys Open SYnthesis Suite