ounuvar

bioinformatics

:microscope: Path to a free self-taught education in Bioinformatics!

DeepSeek-V2

DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model

jemdoc

Light text markup for creating websites

slang

SystemVerilog compiler and language services

mlir-tutorial

MLIR For Beginners tutorial

pfr

Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

cocotb

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

big-AGI

Generative AI suite powered by state-of-the-art models and providing advanced AI/AGI functions. It features AI personas, AGI functions, multi-model chats, text-to-image, voice, response streaming, code highlighting and execution, PDF import, presets for developers, much more. Deploy on-prem or in the cloud.

clockwork

A polyhedral compiler for hardware accelerators

soda

Stencil with Optimized Dataflow Architecture

coreir

spacedrive

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

cv-hpdcache

RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores

macOS-dock-spaces

macOS app for adding spaces to your dock to help you organize your apps

reptyr

Reparent a running program to a new terminal

syntect

Rust library for syntax highlighting using Sublime Text syntax definitions.

slate

A window management application (replacement for Divvy/SizeUp/ShiftIt)

markdownlint

A Node.js style checker and lint tool for Markdown/CommonMark files.

hdlgadgets

human-in-the-loop HDL training tool

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

lean4

Lean 4 programming language and theorem prover

OpenTimer

A High-performance Timing Analysis Tool for VLSI Systems

ninja

a small build system with a focus on speed

siliconcompiler

A modular build system for hardware

cacti

An integrated cache and memory access time, cycle time, area, leakage, and dynamic power model

bsg_fakeram

fakeram generator for use by researchers who do not have access to commercial ram generators

potstill

An open source generator for standard cell based memories.

Toooba

RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT

riscv-boom-doc

Documentation for the BOOM processor