Di Wang

icon indicating a website link https://stonebuddha.github.io/

icon company Peking University icon location Beijing, China

Results 4 repositories owned by Di Wang

eopl

31
Stars
1
Forks
Watchers

Essentials of Programming Languages, with OCaml implementations & Coq proofs

verified publisher icon stonebuddha

sml-llvm

9
Stars
2
Forks
Watchers

SML/NJ and MLton bindings for LLVM

verified publisher icon stonebuddha

tree-sitter-sml

18
Stars
4
Forks
Watchers

Standard ML Grammar for Tree-sitter

verified publisher icon stonebuddha

vscode-better-sml

8
Stars
3
Forks
Watchers

Standard ML Support for Visual Studio Code

verified publisher icon stonebuddha