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,095 247 Updated Jul 22, 2026

A very simple modular relay computer

Python 7 1 Updated Feb 28, 2026

Yosys Open SYnthesis Suite

C++ 4,628 1,125 Updated Jul 24, 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 996 173 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,556 617 Updated Jul 27, 2026

Simple RISC-V 3-stage Pipeline in Chisel

Scala 618 127 Updated Aug 9, 2024

Flexible Intermediate Representation for RTL

Scala 748 179 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,287 8,069 Updated Apr 15, 2026

The Z3 Theorem Prover

C++ 12,485 1,685 Updated Jul 26, 2026

RISC-V Opcodes

Python 873 380 Updated Jul 20, 2026

Learning FPGA, yosys, nextpnr, and RISC-V

C++ 3,612 340 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,505 922 Updated Feb 16, 2026

A lightweight LLVM python binding for writing JIT compilers

Python 2,276 366 Updated Jul 24, 2026

A port of mdbook to nim(ib)

Nim 88 7 Updated Jun 18, 2026

Tracking WebAssembly proposals

1,130 74 Updated Jul 22, 2026

Optional static typing for Python

Python 20,554 3,252 Updated Jul 25, 2026

The Python programming language

Python 73,945 35,012 Updated Jul 27, 2026

nimib 🐳 - nim 👑 driven ⛵ publishing ✍

Nim 204 8 Updated Jun 18, 2026

Visualize Your Ideas With Code

TypeScript 18,847 797 Updated Jul 2, 2026

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

Rust 66,552 2,662 Updated Jul 24, 2026

Your self-hosted, globally interconnected microblogging community

Ruby 50,138 7,480 Updated Jul 27, 2026

Gaphor is the simple modeling tool

Python 2,254 239 Updated Jul 22, 2026

Alternative Twitter front-end

Nim 13,341 743 Updated Jul 11, 2026

A graph plotting app for GNOME

Python 215 38 Updated May 31, 2026

Manage Flatpak permissions

JavaScript 1,737 110 Updated Jun 16, 2026

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

LLVM 39,483 17,989 Updated Jul 27, 2026
Next