Discover @zhihan Open Source projects

Zhi Han (@zhihan)

zhihan

Stars
28
Global Rank 517,529 (Top 18 %)
Followers 5
Following 8
Registered about 13 years ago
Most used languages

Scala
46.2 %

Groovy
15.4 %

Python
7.7 %

Kotlin
7.7 %

C
7.7 %

Java
7.7 %

MATLAB
7.7 %
Location 🇺🇸 United States
Country Total Rank 94,186
Country Ranking

Groovy
823

Scala
954

Kotlin
3,031

MATLAB
6,916

minisat-scala

A Scala implementation of MiniSAT

janala2-gradle

bdd-scala

speed-test-android

groovyandroid

A Groovy android skeleton project.

jacoco-extra

Some Scala code to explore the Jacoco API

gcl_parser

A GCL (General Configuration Language) parser.

javastyler

A Java code style checker

checkmate

CheceMate: a hybrid system verification tool for Matlab

llvm

Some small extension to the official python binding of LLVM.

dataflow

Dependency analysis for dataflow language and imperative language.

testgen-server

A Test Generation Cloud Server

MDO-Toolbox

Multi-Disciplinary Design Optimization MATLAB toolbox