An AI-Powered git commit message Generator

高颜值的第三方网易云播放器；支持流媒体音乐，如navidrome、emby；支持本地音乐播放、离线歌单、桌面歌词、Touch Bar歌词、Mac状态栏歌词显示、Linux-gnome桌面状态栏歌词显示。支持 Windows / macOS / Linux

Linux running inside a PDF file via a RISC-V emulator

A tool to decode RISC-V and LoongArch and MIPS instructions in gtkwave

https://survivesjtu.github.io/SJTU-Application/#/

Fast, Declarative, Reproducible, and Composable Developer Environments

Taurus 3001 RISC-V 64-bit Privileged Minimal System Processor for T110/T28 ASIC

❄️ Simplify Nix Flakes with the module system

This repo contains the code for the project “Online Interval Scheduling with Predictions”.

Ethereum.org is a primary online resource for the Ethereum community.

A collection of teaching scripts showing applications of partial differential equations to traffic modeling, battery thermal modeling, diffusion, and more.

Fully analog two-voice monophonic synth for live performances

A dependency management tool for hardware projects.

MIPS R10000 architecture simulator with C++

A new type of shell

Sail architecture definition language

Sail RISC-V model

A scrollable-tiling Wayland compositor.

Haskell to VHDL/Verilog/SystemVerilog compiler

数字IC相关资料

Write You a Scheme

📜 Haskell course info, plan, video lectures, slides