lichuang/TAPL lichuang/TAPL

  • Stars
    star
    2
  • Language
    OCaml
  • License
    MIT License
  • Created over 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lichuang/TAPL
github

lichuang

Reviews

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

Repository Details

types-and-programming-languages

More Repositories

1

Lua-Source-Internal

Lua source internal
1,442
star
2

Lua-5.1.4-codedump

Lua 5.1.4版本代码注释
C
372
star
3

x86-asm-book-source

带注释的《X86汇编语言-从实模式到保护模式》一书代码
Assembly
334
star
4

awesome-systemtap-cn

采集网络上优秀的systemtap学习资源
273
star
5

etcd-3.1.10-codedump

Go
187
star
6

storage-paper-reading-cn

存储（分布式、存储引擎等）领域相关的论文阅读笔记
186
star
7

qnode

qnode(cute node) - C + Lua + Actor Model = Erlang-like system
C++
165
star
8

libraft

C++ raft lib
C++
126
star
9

AOI

aoi algorithm
C++
84
star
10

awesome-linux-system-cn

收集网络上讲解Linux系统原理的优秀文章、文档
75
star
11

latex-template

TeX
59
star
12

libcr

a coroutine lib for C users,in non-intrusive mode.
C
54
star
13

paxos

Paxos algorithm demo,from mit 6.824 lab 3
Go
25
star
14

ucore-codedump

清华大学ucore项目代码注释版
C
12
star
15

leveldb-1.9.0-codedump

leveldb-1.9.0 注解版
C++
11
star
16

lichuang.github.io

lichuang.github.io
HTML
10
star
17

MIT6.824-golabs-2015

MIT 6.824 分布式课程2015年的作业代码
Go
6
star
18

awesome-game-server

收集网络上关于游戏服务器编程相关的资源
6
star
19

ldb

a Lua debugger lib written in C
C
4
star
20

awesome-qt

collect awesome qt resource
3
star
21

udb

C++
3
star
22

awesome-contagion-knowledge

收集介绍传染病相关的知识资料链接
3
star
23

stress

Rust
1
star
24

algorithm_notes

算法笔记
Python
1
star
25

commoncache

Automatically exported from code.google.com/p/commoncache
C
1
star
26

my-latex-template

TeX
1
star
27

latex-tikz-sample

latex tikz samples
TeX
1
star