Krantz-XRF

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.

os-dev

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

contract

Contract implementation in type system.

FreeType

Haskell bindings for the FreeType library.

krantz-xrf.github.io

Personal Blog.

memory-manager

Garbage-collected memory manager in Rust (no-std)

auto-FFI

A tool to generate Haskell FFI binding for C/C++ API.

compiler-suites

Basic utilities for compilers: lexer, parser, etc.

acyclic

(WIP) Circular reference detector for C++.

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

lava

Provides some useful facilities for C++ programs.

Minecraft-Doc

RE-flex

The regex-centric, fast and flexible scanner generator for C++. RE/flex lexical analyzers are compatible with Flex and Bison. Includes a fast stand-alone regex engine library. Adds Boost 💪

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.

TinyOS

A quick glance at OS development, following a tutorial.

vscode-stlc

VSCode syntax highlighting for simply-typed lambda calculus.

weasel

【小狼毫】Rime for Windows