Discover @izgzhen Open Source projects

Zhen Zhang (@izgzhen)

izgzhen

Stars
183
Global Rank 132,013 (Top 5 %)
Followers 268
Registered over 10 years ago
Most used languages

Haskell
23.1 %

Python
15.4 %

Coq 11.5 %

Jupyter Notebook
11.5 %

C
7.7 %

Rust
7.7 %

Shell
3.8 %

Kotlin
3.8 %

Scala
3.8 %

CoffeeScript
3.8 %

Mathematica 3.8 %

Java
3.8 %
Location 🇺🇸 United States
Country Total Rank 30,942
Country Ranking

Coq 65

Haskell
299

Mathematica 319

Kotlin
628

CoffeeScript
2,274

Scala
3,559

Rust
5,489

RuScript

Experimental Language based on Rust and Haskell

java2smali

Command-line tool for compiling .java to .smali

nightly

Feather-light scheduler, monitor and storage for your research tasks

iris-c-coq

Control-flow based language verification framework

ui-checker

End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec

markii

Android/Java Static Analysis Library

droid-scripts

Executable scripts for helping with Android related work

z3-encoding

High-level assertion encoding to Z3 solver

static-hs

Static analysis algorithms with Haskell

iris-coq

a non-maintained mirror repo of https://gitlab.mpi-sws.org/FP/iris-coq/

bitscope-public

BitScope Pubilc Resources

hadrian-soh17-notes

Notes on my Summer of Haskell 2017 project

bbq-sg

Static Generator for your GitHub Pages Blog

language-webidl-hs

Parser and Pretty-printer for WebIDL in Haskell

copying_gc

Modeling-USTC-China-iGEM-2014

The Mathematical Models' Source of USTC iGEM 2014

language-webidl

ml-notebooks

Jupyter Notebook

benchmark-sort

Surprising facts about benchmarking standard sorting libraries

Jupyter Notebook

gsoc-file-support

Meta-tracker for my GSoC 2016 project

solver-aided-lang-smt2-benchmark

A benchmark about SMT2 emitted by running programs in high-level solver-aided language

Jupyter Notebook

liquid

DSL for Semantic-based Pattern Matching of Android/Java Binaries

aliyun-haskell-sdk

Aliyun SDK in Haskell

sl-tut-iris

Interactive Separation Logic Tutorial with Coq and Iris

paxos-example

Example of Paxos protocol in Python

JKernel

Implementation of JamesM's UNIX-Clone toy kernel

ui-reverse

Android UI Reverse Tool

libnfd

High-level bindings to nativefiledialog (not-maintained)

stackoverflow-tutorial-source

The source code, text and other stuff related to my tutorial on stack overflow

CodeQL-Labs