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,112 251 Updated Aug 12, 2026

A very simple modular relay computer

Python 7 1 Updated Feb 28, 2026

Yosys Open SYnthesis Suite

C++ 4,665 1,137 Updated Aug 13, 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,004 179 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,592 619 Updated Aug 11, 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,395 8,080 Updated Aug 2, 2026

The Z3 Theorem Prover

C++ 12,556 1,685 Updated Aug 13, 2026

RISC-V Opcodes

Python 873 385 Updated Aug 12, 2026

Learning FPGA, yosys, nextpnr, and RISC-V

C++ 3,640 344 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,507 922 Updated Aug 13, 2026

A lightweight LLVM python binding for writing JIT compilers

Python 2,279 366 Updated Aug 12, 2026

A port of mdbook to nim(ib)

Nim 88 7 Updated Jun 18, 2026

Tracking WebAssembly proposals

1,130 75 Updated Aug 10, 2026

Optional static typing for Python

Python 20,592 3,272 Updated Aug 13, 2026

The Python programming language

Python 74,318 35,202 Updated Aug 13, 2026

nimib 🐳 - nim 👑 driven ⛵ publishing ✍

Nim 204 8 Updated Jun 18, 2026

Visualize Your Ideas With Code

TypeScript 18,929 807 Updated Jul 2, 2026

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

Rust 67,306 2,731 Updated Aug 4, 2026

Your self-hosted, globally interconnected microblogging community

Ruby 50,205 7,486 Updated Aug 13, 2026

Gaphor is the simple modeling tool

Python 2,263 239 Updated Aug 12, 2026

Alternative Twitter front-end

Nim 13,435 753 Updated Aug 13, 2026

A graph plotting app for GNOME

Python 216 38 Updated May 31, 2026

Manage Flatpak permissions

JavaScript 1,745 110 Updated Aug 10, 2026

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

LLVM 39,782 18,225 Updated Aug 14, 2026
Next