-
advent-of-code-2024 Public
Progress 21.5/25. Probably it will never be finished.
Haskell MIT License UpdatedApr 28, 2025 -
-
BUAA-CO-2023 Public
Pipelined MIPS CPU, suitable for the Computer Organization course of Beihang University in 2023 fall semester.
-
-
-
-
-
clangir Public
Forked from llvm/clangirA new (MLIR based) high-level IR for clang.
LLVM Other UpdatedApr 14, 2025 -
-
-
-
-
elaboration-zoo Public
Forked from AndrasKovacs/elaboration-zooMinimal implementations for dependent type checking and elaboration
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 26, 2025 -
-
Files Public
Forked from files-community/FilesBuilding the best file manager for Windows
C# MIT License UpdatedJan 9, 2025 -
GlimpseOfLean Public
Forked from PatrickMassot/GlimpseOfLeanAn introduction to theorem proving in Lean for the impatient.
Lean Apache License 2.0 UpdatedMay 19, 2025 -
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedAug 6, 2025 -
llvm-wasm-ci Public
Compile llvm-project into WebAssembly. Check action artifacts.
UpdatedJun 24, 2025 -
lpc Public
If I pin it to the homepage, will I pay more consistent attention to it?
-
mega Public
Forked from web3infra-foundation/megaMega is an unofficial open source implementation of Google Piper.
Rust Apache License 2.0 UpdatedDec 30, 2024 -
miri Public
Forked from rust-lang/miriAn interpreter for Rust's mid-level intermediate representation
Rust Apache License 2.0 UpdatedFeb 27, 2025 -
-
playground Public
I had a separate "playground" on each development machine, so it's probably a good idea to have them synced.
UpdatedMay 1, 2025 -
-
-
-
riscv-board-wandering Public
Forked from rv2036/riscv-board-wanderingRISC-V Development Boards Wandering Project. It is part of the Jiachen Project.
UpdatedSep 27, 2025 -
riscv-c-api-doc Public
Forked from riscv-non-isa/riscv-c-api-docDocumentation of the RISC-V C API
Makefile Creative Commons Attribution 4.0 International UpdatedJun 6, 2025 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedDec 29, 2025
{{ message }}