Skip to content
View can-lehmann's full-sized avatar

Organizations

@verijit

Block or report can-lehmann

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

SystemVerilog compiler and language services

C++ 1,105 250 Updated Aug 8, 2026

A very simple modular relay computer

Python 7 1 Updated Feb 28, 2026

Yosys Open SYnthesis Suite

C++ 4,656 1,131 Updated Aug 9, 2026

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.

C 1,002 178 Updated Jul 23, 2026
Rust 3 Updated Jul 22, 2025

Exposure calculator for (pinhole) cameras. Written in nim with owlkettle and GTK4.

Nim 2 Updated Jun 12, 2024

Icarus Verilog

C++ 3,582 618 Updated Aug 9, 2026

Simple RISC-V 3-stage Pipeline in Chisel

Scala 619 127 Updated Aug 9, 2024

Flexible Intermediate Representation for RTL

Scala 748 180 Updated Aug 20, 2024

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

Verilog 39 1 Updated Jul 1, 2023

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

C 34,366 8,078 Updated Aug 2, 2026

The Z3 Theorem Prover

C++ 12,536 1,686 Updated Aug 9, 2026

RISC-V Opcodes

Python 872 384 Updated Jul 30, 2026

Learning FPGA, yosys, nextpnr, and RISC-V

C++ 3,636 341 Updated Nov 18, 2025

JSON API for DWD's open weather data.

Python 413 23 Updated Apr 27, 2026

A JavaScript Framework for Building Brilliant Applications

JavaScript 14,509 921 Updated Feb 16, 2026

A lightweight LLVM python binding for writing JIT compilers

Python 2,279 366 Updated Jul 30, 2026

A port of mdbook to nim(ib)

Nim 88 7 Updated Jun 18, 2026

Tracking WebAssembly proposals

1,130 74 Updated Aug 6, 2026

Optional static typing for Python

Python 20,584 3,270 Updated Aug 7, 2026

The Python programming language

Python 74,263 35,177 Updated Aug 8, 2026

nimib 🐳 - nim 👑 driven ⛵ publishing ✍

Nim 204 8 Updated Jun 18, 2026

Visualize Your Ideas With Code

TypeScript 18,907 802 Updated Jul 2, 2026

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

Rust 67,132 2,712 Updated Aug 4, 2026

Your self-hosted, globally interconnected microblogging community

Ruby 50,183 7,478 Updated Aug 9, 2026

Gaphor is the simple modeling tool

Python 2,260 239 Updated Jul 27, 2026

Alternative Twitter front-end

Nim 13,411 753 Updated Jul 11, 2026

A graph plotting app for GNOME

Python 216 38 Updated May 31, 2026

Manage Flatpak permissions

JavaScript 1,742 110 Updated Jun 16, 2026

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

LLVM 39,703 18,158 Updated Aug 9, 2026
Next