Python packages providing a library for Verification Stimulus and Coverage

Scientific calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives and integrals

A rust library for extracting content from pdfs

Implementation of John L. Gustafson Unum Type III aka Posits using C++ Templates

A Rust implementation of the posit number system

Practical and minimal image viewer

♻️ Convert the NEORV32 processor into a synthesizable plain-Verilog netlist module using GHDL.

A post-modern modal text editor.

Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics

RISC-V instruction decoder written in Rust.

A basic RISC-V (rv32i) emulator

A SystemVerilog Language Server

Automatically rebase all your branches onto master

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

An esoteric programming language, come se fosse antani.