Skip to content
View XingZhiang's full-sized avatar
🐟
摸鱼
🐟
摸鱼
43 followers · 81 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report XingZhiang

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Stars

🤓 Just for learning

10 repositories

DeathKing / Learning-SICP

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

Ruby 10,974 1,543 Updated Sep 27, 2023

riscv-mcu / e203_hbirdv2

The Ultra-Low Power RISC-V Core

Verilog 1,244 341 Updated Oct 9, 2024

reo7sp / tgbot-cpp

C++ library for Telegram bot API

C++ 1,004 245 Updated Oct 7, 2024

bitemyapp / learnhaskell

Learn Haskell

Makefile 7,968 549 Updated Sep 30, 2023

rcore-os / rCore

Rust version of THU uCore OS. Linux compatible.

Rust 3,452 376 Updated Aug 24, 2023

ghc / ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,047 705 Updated Oct 19, 2024

OSCPU / ysyx-workbench

Shell 112 128 Updated Aug 31, 2024

linuxdeepin / unilang

C++ 576 42 Updated Oct 15, 2024

Coq-zh / SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

HTML 919 67 Updated Mar 14, 2022

clarksmr / sf-lectures

Software Foundations

HTML 112 28 Updated Apr 30, 2024