GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.

Exposure calculator for (pinhole) cameras

Icarus Verilog

Simple RISC-V 3-stage Pipeline in Chisel

Flexible Intermediate Representation for RTL

5-stage RISC-V CPU, originally developed for RISCBoy

stb single-file public domain libraries for C/C++

The Z3 Theorem Prover

RISC-V Opcodes

Learning FPGA, yosys, nextpnr, and RISC-V

JSON API for DWD's open weather data.

A JavaScript Framework for Building Brilliant Applications

A lightweight LLVM python binding for writing JIT compilers

A port of mdbook to nim(ib)

Tracking WebAssembly proposals

Optional static typing for Python

The Python programming language

nimib 🐳 - nim 👑 driven ⛵ publishing ✍

Visualize Your Ideas With Code

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Your self-hosted, globally interconnected microblogging community

Gaphor is the simple modeling tool

Alternative Twitter front-end

A graph plotting app for GNOME

Manage Flatpak permissions

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…