krantz-xrf Goto Github PK

acyclic

(WIP) Circular reference detector for C++.

auto-ffi

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

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.)

clangformatconfig

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

codelib

My own code library for competitive programming

compiler-suites

Basic utilities for compilers: lexer, parser, etc.

contract

Contract implementation in type system.

coqtop-elaborate

Elaborate Coq code with coqtop output.

cpputility

C++的一些工具类。

dependencycheck

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

expressions

Haskell implementation for extensible expression trees.

freercam-minecraft

Fork of FreeCam by Kapiteon Minecraft mod with slight modifications

freetype

Haskell bindings for the FreeType library.

goplusplus

围棋，用于记谱或实验。

istyle-verilog-formatter

Open source implementation of a Verilog formatter

krantz-xrf.github.io

Personal Blog.

lava

Provides some useful facilities for C++ programs.

memory-manager

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

minecraft-doc

mini-haskell

(WIP) a toy implementation for Haskell in Rust.

os-dev

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

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

reanimate-projects

Animation projects using Reanimate.

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