Discover @petrizhang Open Source projects

Petri (张鹏程) (@petrizhang)

petrizhang

Stars
55
Global Rank 319,043 (Top 11 %)
Followers 16
Following 19
Registered almost 10 years ago
Most used languages

C++
28.6 %

Scala
21.4 %

Java
14.3 %

Python
14.3 %

Shell
7.1 %

Jupyter Notebook
7.1 %

Haskell
7.1 %
Location 🇨🇳 China
Country Total Rank 31,369
Country Ranking

Haskell
35

Scala
282

Jupyter Notebook
3,392

C++
4,527

Shell
5,758

realword-haskell

My notes and exercise solutions of "real world haskell"

peaze

A lisp-like programming language running on JVM.

tortoise

The Tortoise programming language for mathematical drawing.

play_we_jump

可定制易扩展的微信跳一跳自动化工具

scala_native_demo

Demo for scala-c++ cross compile project using sbt and cmake (which could directly work with idea and clion).

template_cpp

Toy codes of c++ template meta-programming

crisp

Crisp: Compile-Time Interpreter for Lisp. A header-only library implemented with C++ templates.

mcm_result

数模美赛成绩抓取、分析工具

Jupyter Notebook

importcsv

将csv文件导入mysql数据库的小工具，依赖bash

Hint

Programming Language on JVM: Modern, Typesafe, Functional and Java Compatible.

carbon

A purely functional and statically typed programming language with HM type inference running on JVM.

coolang

Compiler for a static typing and garbage collection supporting language called cool

leqat

Learning-based query optimization for multi-probe approximate nearest neighbor search.

white

Modern script language based on scala and JVM.

R-Programming

coursera《R Programming》笔记&习题