Krantz-XRF/krantz-xrf.github.io Krantz-XRF/krantz-xrf.github.io

  • Stars
    star
    1
  • Language SCSS
  • License
    MIT License
  • Created about 5 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Krantz-XRF/krantz-xrf.github.io
github

Krantz-XRF

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Personal Blog.

More 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

contract

Contract implementation in type system.
Haskell
1
star