+

这个页面是一些我在学习计算机科学的过程中编写的项目，不分先后

+
+ +

一个简陋的容器

+ +
+

这是一个Linux上的容器实现，主要是为了研究Docker这些容器技术以及Linux的一些Feature，最初用Rust实现，最后用OCaml重构

+
+
+ + + +
+ +

使用F#实现的基于LSM-Tree的KV存储

+ +
+

对于HBase和RocksDB的一些原理探究

+
+
+ + + +
+ +

F#实现的极简快速，平滑的Web服务器

+ +
+

探索.NET Core的相关网络库以及Web原理

+
+
+ + + +
+ +

铁暮秋：一个俯瞰世界的机器人

+ +
+

这个项目其实最初是一个QQ机器人，后来解耦，支持对各种消息源做出回复，比如QQ，终端，麦克风等。

+
+
+ + + +
+ +

OCaml编写的Lisp实现

+ +
+

这就是个玩具，当初为了学OCaml写的，没啥新意

+
+
+ + + +
+ +

简陋的Linux C++调试器

+ +
+

这个项目的目的是为了学习C++和一些操作系统原理

+
+
+ + + + +
+ +

Racket实现的区块链系统

+ +
+

学习Racket和区块链基础知识的作品

+
+
+ + + +
+ +

OpheliaOS

RISC-V操作系统内核

+ +
+

根据rCore教程使用Rust编写的RISC-V操作系统内核

+
+
+ + + +
+ +

Annabear

OCaml编写的Parser Combinators库

+ +
+

研究Parser Combinator

+
+
+ + + +
+ +

rust-colog

具有颜色编码的极简Rust日志库

+ +
+

Fork自chrivers/rust-colog的日志库，添加了时间信息以及更优质的样式

+
+
+ + + +
+ +

crp

图像颜色替换工具

+ +
+

Rust编写的简单命令行工具，用于转换一个图片中的颜色

+
+
+ + + +
+ +

ocaml-random-str

基于Xorshift算法编写的随机字符串库

+ +
+

研究Parser Combinator

+
+
+ + + +
+ +

ocaml-snowflake

使用OCaml实现的snnowflake算法

+ +
+

Snowflake 是一种基于 Twitter 的开源分布式 ID 生成算法。

+
+
+ + + +
+ +

simlog

OCaml实现的极简日志库

+ +
+

目前Fork自Lucid，但打算自己重新实现一下

+
+
+ + + +
+ +

Ocason

另一个OCaml JSON库

+ +
+

Fork自nogw/ocason，我将其转换为了纯粹的Dune项目，修复了一些测试Bug

+
+
+ + + +
+ +

ws-ocaml

OCaml的极简WebSocket服务器实现

+ +
+

Fork自https://github.com/krtx/ws-ocaml，兼容了OCaml5环境并使其更全面

+
+
+ + + +
+ +

omtl

OCaml的极简测试库

+ +
+

有时候我只是需要简单测试测试一些东西

+
+
+ + + +
+ +

ocaml_ptrace

OCaml的ptrace函数绑定

+ +
+

Fork自williamleferrand/ocaml-ptrace，添加了dune支持

+
+
+ + + +
+ +

FsExecute

简单快速的在F#中异步执行shell命令

+ +
+ + + +
+ +

ream

Racket编写的零依赖，低级Web服务器

+ +
+

看Racket官网教程学习的

+
+
+ + + +
+ +

Autumn Theme

VSCode主题

+ +
+

这是一个VSCode主题系列，包含Dark, Grey, Light三种配色。闲的没事自己设计的。

+
+
+ +