Xie Ruifeng's repositories
ClangFormatConfig
我的clang-format的配置文件,用于格式化C++文件,有详细的中文注释。
coqtop-elaborate
Elaborate Coq code with coqtop output.
reanimate-projects
Animation projects using Reanimate.
DependencyCheck
检查文件的依赖关系,并用设置好的方式构建工程。
GoPlusPlus
围棋,用于记谱或实验。
istyle-verilog-formatter
Open source implementation of a Verilog formatter
mini-haskell
(WIP) a toy implementation for Haskell in Rust.
krantz-xrf.github.io
Personal Blog.
memory-manager
Garbage-collected memory manager in Rust (no-std)
compiler-suites
Basic utilities for compilers: lexer, parser, etc.
clang-pure
Easy C++ code analysis with pure Haskell
clang-tool
Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)
codelib
My own code library for competitive programming
CppUtility
C++的一些工具类。
expressions
Haskell implementation for extensible expression trees.
freercam-minecraft
Fork of FreeCam by Kapiteon Minecraft mod with slight modifications
reanimate
Haskell library for building declarative animations based on SVG graphics
reflex-sdl2
A minimal host for sdl2 based reflex apps.
sdl2-image
Haskell bindings to SDL2_image.
vscode-stlc
VSCode syntax highlighting for simply-typed lambda calculus.
weasel
【小狼毫】Rime for Windows