Xie Ruifeng (@Krantz-XRF)
github

Krantz-XRF

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    27
  • Global Rank 529,752 (Top 19 %)
  • Followers 45
  • Following 9
  • Registered almost 9 years ago
  • Most used languages
    Haskell
         40.0 %
    C++
         20.0 %
    Rust
         20.0 %
    Assembly
         10.0 %
    SCSS     10.0 %
  • Location 🇨🇳 China
  • Country Total Rank 46,584
  • Country Ranking
    Haskell
         37
    Assembly
         369
    SCSS     567
    Rust
         1,290

Top repositories

1

ClangFormatConfig

我的clang-format的配置文件，用于格式化C++文件，有详细的中文注释。
7
star
2

coqtop-elaborate

Elaborate Coq code with coqtop output.
Haskell
3
star
3

reanimate-projects

Animation projects using Reanimate.
Haskell
3
star
4

mini-haskell

(WIP) a toy implementation for Haskell in Rust.
Rust
2
star
5

os-dev

针对郑钢《操作系统真相还原》的学习与实验。An experiment on OS development.
Assembly
2
star
6

DependencyCheck

检查文件的依赖关系，并用设置好的方式构建工程。
C++
2
star
7

GoPlusPlus

围棋，用于记谱或实验。
C++
2
star
8

memory-manager

Garbage-collected memory manager in Rust (no-std)
Rust
1
star
9

FreeType

Haskell bindings for the FreeType library.
Haskell
1
star
10

krantz-xrf.github.io

Personal Blog.
SCSS
1
star
11

contract

Contract implementation in type system.
Haskell
1
star