Pinned Repositories
camllight
The Caml Light implementation of the Caml language
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
chrome-collect-tabs
a plugin to collect chrome browser's tabs url
dotfiles
config files
eval
learning SICP, writing interpreter/compiler. using racket
exercise
font
convert plan9 font to general bdf format.
frac
small code pieces drops here
liumingc.github.io
Personal blog site
toy-lang
implements a toy language for fun
liumingc's Repositories
liumingc/font
convert plan9 font to general bdf format.
liumingc/camllight
The Caml Light implementation of the Caml language
liumingc/cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
liumingc/chrome-collect-tabs
a plugin to collect chrome browser's tabs url
liumingc/dotfiles
config files
liumingc/eval
learning SICP, writing interpreter/compiler. using racket
liumingc/exercise
liumingc/frac
small code pieces drops here
liumingc/liumingc.github.io
Personal blog site
liumingc/toy-lang
implements a toy language for fun
liumingc/figures
Draw some figures(with description)
liumingc/Free-Docker-K8s-Books
Learn books from Docker & K8s
liumingc/gopl.io
Example programs from "The Go Programming Language"
liumingc/hamlet
SML reference interpreter
liumingc/haribote-os
haribote os src with modifications
liumingc/ikarus.dev
implementation of scheme by Abdulaziz Ghuloum
liumingc/lcc
The lcc retargetable ANSI C compiler
liumingc/learn-julia
code/note for learning julialang
liumingc/learn-ocaml
liumingc/learn-sml
liumingc/leetcode
leetcode exercises
liumingc/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
liumingc/notes
Some notes, about random thought, or programming etc.
liumingc/ocaml
The core OCaml system: compilers, runtime system, base libraries
liumingc/ocaml.org
Implementation of the ocaml.org website.
liumingc/polyml
Poly/ML
liumingc/tldr
:books: Simplified and community-driven man pages
liumingc/tut
tutorial for programming, etc.
liumingc/vscode-sml
Standard ML support for Visual Studio Code
liumingc/WizQTClient
为知笔记跨平台客户端