Baber Rehman (@baberrehman)
github

baberrehman

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,193,538 (Top 42 %)
  • Followers 8
  • Following 13
  • Registered almost 11 years ago
  • Most used languages
    Coq     50.0 %
    Rust
         25.0 %
    SCSS     25.0 %
  • Location 🇭🇰 Hong Kong
  • Country Total Rank 2,388
  • Country Ranking
    Coq     4
    SCSS     24
    Rust
         71

Top repositories

1

coq-duotyping

Coq
2
star
2

rust

The Rust Programming Language
Rust
2
star
3

TAPL

Locally nameless implementation of the Holy Types and Programming Languages using TLC!
Coq
2
star
4

baberrehman.github.io

SCSS
1
star