Skip to content
View codelec's full-sized avatar

Block or report codelec

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

A terminal workspace with batteries included

Rust 27,634 879 Updated Dec 16, 2025

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

C++ 32,655 1,476 Updated Dec 15, 2025

LLM inference in C/C++

C++ 91,400 14,127 Updated Dec 16, 2025

The Modular Platform (includes MAX & Mojo)

Mojo 25,349 2,743 Updated Dec 16, 2025

🐙 Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.

MDX 67,825 7,176 Updated Nov 17, 2025

Curated list of project-based tutorials

252,692 33,024 Updated Aug 15, 2024

Rocket Chip Generator

Scala 3,642 1,207 Updated Sep 2, 2025
SystemVerilog 8 4 Updated Nov 12, 2025
SystemVerilog 110 23 Updated Nov 11, 2025

Verilator open-source SystemVerilog simulator and lint system

C++ 22 3 Updated Dec 16, 2025

A curated list of awesome resources for Electronic Engineers and hobbyists

6,998 459 Updated Sep 25, 2025

ASIC Design kit for Skywater 130 for use with mflowgen

Verilog 13 5 Updated Mar 12, 2023

PDK installer for open-source EDA tools and toolchains. Distributed with setups for the SkyWater 130nm and Global Foundries 180nm open processes.

Python 377 108 Updated Dec 12, 2025

ASIC Design Kit for FreePDK45 + Nangate for use with mflowgen

Verilog 194 43 Updated Mar 8, 2020
Mathematica 182 41 Updated Aug 30, 2021

Alternative OpenJDK builds for architectures such as riscv64

Shell 10 Updated Nov 29, 2023

Docker build environment for VisionFive 2 SBC

Shell 15 4 Updated Dec 10, 2023

An open source tool focused on software supply chain security. 墨菲安全专注于软件供应链安全,具备专业的软件成分分析(SCA)、漏洞检测、专业漏洞库。

Go 1,744 182 Updated Dec 4, 2025

📊 Simple package for monitoring and control your NVIDIA Jetson [Orin, Xavier, Nano, TX] series

Python 2,433 308 Updated Dec 15, 2025

Hardware locality (hwloc)

C 664 202 Updated Nov 26, 2025

A Smart Ethernet Switch for Earth

C++ 16,233 1,870 Updated Nov 13, 2025

The OpenCL-on-D3D12 mapping layer

C++ 122 17 Updated Aug 26, 2025

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Shell 183,359 26,299 Updated Dec 15, 2025

Extended and external tests for Verilator testing

Python 17 9 Updated Dec 9, 2025

Universal Verification Methodology (UVM) base libraries, with edits for Verilator

SystemVerilog 26 7 Updated Oct 12, 2025

Verilator open-source SystemVerilog simulator and lint system

SystemVerilog 3,235 729 Updated Dec 16, 2025

Main winflexbision repository

C 453 136 Updated Nov 19, 2025

Package scripts for MinGW-w64 targets to build under MSYS2.

Shell 2,605 1,319 Updated Dec 16, 2025

Microsoft PowerToys is a collection of utilities that help you customize Windows and streamline everyday tasks

C# 126,521 7,536 Updated Dec 16, 2025

Read-only mirror of file CVS repository, updated every half hour. NOTE: do not make pull requests here, nor comment any commits, submit them usual way to bug tracker or to the mailing list. Maintai…

C 1,511 424 Updated Nov 24, 2025
Next