-

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

-
- -

一个简陋的容器

- -
-

这是一个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三种配色。闲的没事自己设计的。

-
-
- -