Discover @paulzfm Open Source projects

Paul (@paulzfm)

paulzfm

Stars
80
Global Rank 244,154 (Top 9 %)
Followers 111
Following 8
Registered over 10 years ago
Most used languages

TeX
16.7 %

Scala
16.7 %

C#
8.3 %

Cuda 8.3 %

JavaScript
8.3 %

C++
8.3 %

Coq 8.3 %

Python
8.3 %

OCaml
8.3 %

Groovy
8.3 %
Location 🇨🇳 China
Country Total Rank 25,867
Country Ranking

Coq 21

OCaml
30

TeX
188

Scala
270

Cuda 372

Groovy
429

C#
6,116

ThuThesis-Starter

A starter template for new users of ThuThesis (https://github.com/xueruini/thuthesis).

TikZ-Tunight

TikZ 画“图”指南讲座源码

ll1pg

Yet another LL(1) parser generation tool, built in principle.

mydb

A simple one-user single-thread database as a final project.

LustreAST

A small tool to translate between Lustre and AST.

coq-tunight

Artifact for TUNIGHT talk "Code is Cheap, Show Me the Proof"

ConnectFour

AI final project

alex-machine

KNN

StringProcessing

Implement string program synthesis algorithm on S. Gulwani's paper.

decaf-PA-1-AST

AST Print Format

Sudoku-BMC

A sudoku solver based on NuSMV bounded model checker.

gradle-plugin-ll1pg

A gradle plugin to apply ll1pg