The best way to write secure and reliable applications. Write nothing; deploy nowhere.

HAL – The Hardware Analyzer

Working draft of the proposed RISC-V Bitmanipulation extension

pySMT: A library for SMT formulae manipulation and solving

SystemVerilog grammar for tree-sitter

GUI for SymbiYosys

A delta debugger for SMT benchmarks in SMT-LIB v2.

SRI Yices SMT Solver

A VHDL frontend for Yosys

STOKE: A stochastic superoptimizer and program synthesizer

Open FPGA tools

Place and route tool for FPGAs

An online Verilog IDE based on YosysJS.

public domain tools for FPGAs

Icarus Verilog

BitThunder Mainline Repository

BitThunder - Reliable, real time, portable, scalable, embedded operating system, RTOS.

NumJS -- A JavaScript library for numerical computing

Hackerspace Challenge 2011 EduBuzzer

WebSite pages for OpenSCAD

OpenSCAD - The Programmers Solid 3D CAD Modeller