towoe Goto Github PK

arm-trusted-firmware

ARM Trusted Firmware

baremetal-libraries

OpTiMSoC baremetal libraries

edalize

An abstraction library for interfacing EDA tools

fifoss

fusesoc

FuseSoC is a package manager and a set of build tools for FPGA/ASIC development

gclone

Keep track of git repositories

ibex

libtock-c

Userland apps for Tock written in C and C++

libtock-rs

Rust userland library for Tock

lowrisc-toolchains

UNSUPPORTED INTERNAL toolchain builds

mako

A lightweight Wayland notification daemon

opentitan

OpenTitan: Open source silicon root of trust

riscv-compliance

riscv-config

RISC-V Configuration Validator

riscv-formal

RISC-V Formal Verification Framework

sby-sv

Container for riscv-formal and ibex

sby-yosys-sv

Docker image for formal verification based on sby and yosys with SystemVerilog patches

sv-tests

Test suite designed to check compliance with the SystemVerilog standard.

sv2v-container

Containerfile for sv2v

symbiyosys

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

tock

A secure embedded operating system for microcontrollers

verilator

Verilator open-source SystemVerilog simulator and lint system

waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

yosys-container

Containerfile for yosys

yosys-sv

Yosys Open SYnthesis Suite