Skip to content
View gaialucas's full-sized avatar
🐭
🐭
  • Cadence Design Systems
  • Belo Horizonte, MG, Brazil

Organizations

@turing-usp

Block or report gaialucas

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
Showing results

A simple timetracker for the command line. It saves a log of all tracked activities as a plaintext file and allows you to create flexible reports.

Rust 840 45 Updated Mar 25, 2026

Entrada RL 2024

Jupyter Notebook 2 1 Updated Apr 26, 2025

Jogamos truco

Jupyter Notebook 4 Updated Aug 23, 2024

A graphical processor simulator and assembly editor for the RISC-V ISA

C++ 3,371 367 Updated Jul 23, 2026

Random instruction generator for RISC-V processor verification

Python 1,337 389 Updated Apr 3, 2026

Chisel: A Modern Hardware Design Language

Scala 4,754 657 Updated Aug 8, 2026

Build your hardware, easily!

Python 4,034 746 Updated Aug 6, 2026

SERV - The SErial RISC-V CPU

Verilog 1,854 259 Updated Jul 10, 2026

RISC-V Formal Verification Framework

Verilog 633 105 Updated Apr 6, 2022

Functional verification project for the CORE-V family of RISC-V cores.

Assembly 709 322 Updated Jul 17, 2026

cocotb: Python-based chip (RTL) verification

Python 2,470 672 Updated Aug 3, 2026

RARS -- RISC-V Assembler and Runtime Simulator

Java 1,615 312 Updated Jul 19, 2024

Verilog HDL code and documentation for pipelined RISC-V processors designed as a minor project by a team of 4. Includes testbench files, documentation, and sample programs. Completed as part of our…

Verilog 11 1 Updated Nov 23, 2023

CORE-V Family of RISC-V Cores

366 26 Updated Mar 31, 2026

This is the top-level project for the PULP Platform. It instantiates a PULP open-source system with a PULP SoC (microcontroller) domain accelerated by a PULP cluster with 8 cores.

SystemVerilog 566 127 Updated Nov 26, 2024

AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication

SystemVerilog 1,649 364 Updated Aug 5, 2026

Component library for ESP32-xx and ESP8266

C 1,605 477 Updated Jan 24, 2026
Verilog 47 29 Updated Sep 13, 2024

Learn how to design digital systems and synthesize them into an FPGA using only opensource tools

Verilog 864 199 Updated Apr 15, 2020

Must-have verilog systemverilog modules

Verilog 2,005 422 Updated Mar 12, 2026

A repository of gate-level simulators and tools for the original Game Boy.

C++ 1,169 37 Updated Feb 23, 2025

HDL libraries and projects

Verilog 1,993 1,671 Updated Aug 7, 2026

opensouce RISC-V cpu core implemented in Verilog from scratch in one night!

Verilog 2,596 328 Updated May 12, 2026

Verilog to Routing -- Open Source CAD Flow for FPGA Research

C++ 1,256 444 Updated Aug 8, 2026

[MIRROR] Sample-Server implementation based on open62541, showcases umati endorsed OPC UA companion specifications. Provides a 🐋 📦 to run locally for development purpose.

C++ 61 17 Updated Aug 7, 2026

Esse repositório foi criado para organizar todos os repositórios de eventos do Turing USP.

7 Updated Aug 22, 2023

🖼️ A command-line system information tool written in bash 3.2+

Shell 23,714 1,781 Updated Jul 19, 2024

Verilator open-source SystemVerilog simulator and lint system

SystemVerilog 3,823 871 Updated Aug 8, 2026

Project F brings FPGAs to life with exciting open-source designs you can build on.

SystemVerilog 788 72 Updated Jan 28, 2026

a small build system with a focus on speed

C++ 13,128 1,812 Updated Jul 25, 2026
Next