Discover @hengchu Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

C++

Go

OCaml

Python

CoffeeScript

Clojure

Elixir

R

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

F#

Julia

C#

Java

Crystal

C++

Ruby

Python

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇬🇷 Greece

🇨🇴 Colombia

🇵🇫 French Polynesia

🇻🇳 Vietnam

🇫🇮 Finland

🇸🇪 Sweden

🇦🇩 Andorra

🇦🇱 Albania

All Countries Compare Countries

@hengchu

hengchu

Stars
19
Global Rank 661,842 (Top 23 %)
Followers 31
Following 23
Registered almost 13 years ago
Most used languages

Python
40.0 %

Haskell
40.0 %

Rust
20.0 %
Location 🇺🇸 United States
Country Total Rank 115,657
Country Ranking

Haskell
897

Rust
8,124

tiger-haskell

Modern compiler implementation in Haskell (Tiger programming language)

fuzzi-impl

Proof-of-Concept Implementation of Fuzzi: A Three-Level Logic for Differential Privacy

fuzzi-model

A functional model of symbolic testing for differential privacy

bind-rs

A crate for experimenting with MTL-style monads in rust

shadowdp

Verification Tool for Differential Privacy. Code for [PLDI'19] "Proving Differential Privacy with Shadow Execution".