Stars
SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST & UHDM APIs. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format …
Cross-Platform Keystroke Launcher
Visualise your CSV files in seconds without sending your data anywhere
Chisel: A Modern Hardware Design Language
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
A multithreaded Minecraft server built for redstone.
Qt-based Nintendo Entertaiment System emulator and NSF/NSF2/NSFe Music Player (Linux, FreeBSD, OpenBSD and Windows)
An open-source Shazam client for Linux, written in Rust.
AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
HIP: C++ Heterogeneous-Compute Interface for Portability
The aim is to share knowledge and information about building an open-source media server.
Vesktop is a custom Discord App aiming to give you better performance and improve linux support
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
A full featured, fast Command Line Argument Parser for Rust
Lean 4 programming language and theorem prover
Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation
Feature-rich minimalist proximity-based UI for MPV player.
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
The official repository for the gem5 computer-system architecture simulator.
Decompilation of 3D Pinball for Windows – Space Cadet
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input