hansemandse

Hans Jakob Damsgaard's starred repositories

Python

All Algorithms implemented in Python

Language:PythonMIT191430 5936 1505

scalene

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Language:PythonApache-2.011657 87 468

awesome-opensource-hardware

List of awesome open source hardware tools, generators, and reusable designs

Language:PythonMIT1883 69 15

verible

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

Language:C++NOASSERTION1346 49 955

blessed

Blessed is an easy, practical library for making python terminal apps

Language:PythonMIT1193 25 144

brevitas

Brevitas: neural network quantization in PyTorch

Language:PythonNOASSERTION1167 34 436

qiskit-textbook

A university quantum algorithms/computation course supplement based on Qiskit

Language:Jupyter NotebookApache-2.0939 450

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CNOASSERTION895 39 185

finn

Dataflow compiler for QNN inference on FPGAs

Language:PythonBSD-3-Clause728 30 268

slang

SystemVerilog compiler and language services

Language:C++MIT603 29 685

CommPy

Digital Communication with Python

Language:PythonBSD-3-Clause553 35 66

vroom

VRoom! RISC-V CPU

Language:VerilogGPL-3.0473 27 8

dashing

Terminal dashboards for Python

Language:PythonLGPL-3.0433 10 14

spatial

Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"

Language:ScalaMIT273 23 251

torchhd

Torchhd is a Python library for Hyperdimensional Computing and Vector Symbolic Architectures

Language:PythonMIT243 16 90

constellation

A Chisel RTL generator for network-on-chip interconnects

Language:ScalaBSD-3-Clause172 18 42

chiselverify

A dynamic verification library for Chisel.

Language:ScalaBSD-2-Clause139 12 13

PVS

The People's Verification System

Language:Common LispGPL-2.0138 19 70

OpenCGRA

OpenCGRA is an open-source framework for modeling, testing, and evaluating CGRAs.

Language:VerilogNOASSERTION133 9 13

RISC-V-Vector

Vector processor for RISC-V vector ISA

Language:SystemVerilogNOASSERTION106 70

PYNQ-HLS

A Tutorial on Putting High-Level Synthesis cores in PYNQ

Language:Jupyter NotebookNOASSERTION102 9 3

PYNQ-HelloWorld

This repository contains a "Hello World" introduction application to the Xilinx PYNQ framework.

Language:Jupyter NotebookBSD-3-Clause92 11 17

Kria-PYNQ

PYNQ support and examples for Kria SOMs

Language:Jupyter NotebookNOASSERTION90 13 23

pillars

An integrated CGRA design framework

Language:ScalaMIT83 5 7

q27

27-Queens Puzzle: Massively Parellel Enumeration and Solution Counting

Language:VHDLAGPL-3.076 8 4

sydr

An open-source GNSS Software Defined Radio for algorithm benchmarking.

Language:PythonApache-2.014 5 49

pyALS

Python implementation of the catalog-based Aig-rewriting approximate Logic Synthesis technique

Language:PythonGPL-3.08 40

fixedpoint

Chisel Fixed-Point Arithmetic Library

Language:ScalaApache-2.08 14 4

scala-bootcamp

Scala bootcamp content

BSD-3-Clause4 3 2

Spiker

Language:Python3 10