rmlarsen

Rasmus Munk Larsen's repositories

A library for computing the singular value decomposition of large and sparse or structured matrices.

Language:FortranNOASSERTION13 10

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CNOASSERTION000

Useful extra functionality for TensorFlow 2.x maintained by SIG-addons

Language:PythonApache-2.0000

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Language:PythonApache-2.0000

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

Language:VerilogBSD-3-Clause000

OpenSTA engine

Language:C++GPL-3.0000

Seamless operability between C++11 and Python

Language:C++NOASSERTION000

An Open Source Machine Learning Framework for Everyone

Language:C++Apache-2.0000

Yosys Open SYnthesis Suite

Language:C++ISC000