Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

A collection of ISCAS,ITC,TAU and other Benchmark Circuits for EDA tool evaluation.

Awesome tmux-based terminal divider

Logic synthesis system from UC Berkeley

Rosetta: A Realistic High-level Synthesis Benchmark Suite for Software Programmable FPGAs

A formal verification model generator for dataflow circuits based on nuXmv

Benchmarks for Accelerator Design and Customized Architectures

RapidStream TAPA compiles task-parallel HLS program into high-frequency FPGA accelerators.

XLS: Accelerated HW Synthesis

GTK theme based on the classic appearance of Windows 95 and Windows Server 2003

Magnificent app which corrects your previous console command.

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

BaseJump STL: A Standard Template Library for SystemVerilog

Continuation of ueberzug

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Altera Advanced Synthesis Cookbook 11.0

markdown-pages.js - simple Markdown-based static sites, without the generator

DHLS (Dynamic High-Level Synthesis) compiler based on MLIR

Neovim theme based off of the Nord Color Palette, written in lua with tree sitter support

Ranger plugin that adds file glyphs / icon support to Ranger

A VIM-inspired filemanager for the console

Extension to mason.nvim that makes it easier to use lspconfig with mason.nvim.

NOTE: this repository is obsolete, please checkout https://github.com/EPFL-LAP/dynamatic. A fork of the Dynamatic HLS compiler from https://github.com/lana555/dynamatic

Cyberpunk Neon Themes for KDE Plasma, GTK, Telegram, Tilix, Vim, Zim and more.

My Linux Configs

A launch point for your personal nvim configuration

✅ Highlight, list and search todo comments in your projects

🍨 Soothing pastel theme for (Neo)vim