openasip

commonevaluationplatform/cep21

SoC design

An SoC design with a set of license-unencumbered components, intended to support developmental testing and verification.

google/xls1.2K

Co-design accelerator

Accelerates development of high-performance hardware and software by automating co-design and synthesis

sifive/prockami22

Processor simulator

Formal verification and implementation of RISC-V processor designs using Coq.

zipcpu/autofpga170

FPGA designer

Automates the process of creating and updating FPGA designs from peripherals in multiple languages.

cpitclaudel/alectryon237

Code processor

A tool for processing Coq and Lean 4 code embedded in text documents

cpitclaudel/company-coq351

Coq IDE

An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software

cmassiot/upipe1

Data pipeline framework

A framework for organizing and processing multimedia data in a modular and flexible way

mdolab/openconcept37

Propulsion designer

A toolkit for designing and optimizing aircraft with unconventional propulsion systems

sifive/kami198

Hardware designer

A Coq-based DSL for designing and verifying hardware systems

opencapi/opencapi3.0_client_refdesign11

FPGA integrator

Provides hardware description and tools for integrating an FPGA with Power9 processors using OpenCAPI technology

arduino/openocd127

Debugger

Tools for on-chip programming and debugging of embedded systems

cirosantilli/cpp-cheat618

System programming examples

A collection of minimal examples and tutorials for system programming in C, C++, POSIX, and Linux

p-org/p3.1K

Distributed system designer

A programming language and analysis toolset for designing and verifying complex distributed systems.

kactus2/kactus2dev194

EDA tool

A graphical EDA tool designed to aid in the design and integration of systems-on-chip (SoCs)

cosmian/ciphercompute26

Collaborative Computation Engine

Enables secure collaborative computation without data sharing or movement.