@chrisittner
github

chrisittner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 4
  • Registered about 12 years ago
  • Most used languages
    Rust
         33.3 %
    Shell
         33.3 %
    Scheme
         33.3 %

Top repositories

1

git-codeowners

Adds the `git codeowners` subcommand to query and validate CODEOWNERS files
Rust
6
star
2

transfinite-methoden-SS2013

Shell
1
star
3

minlog

Personal fork of the MINLOG proof system.
Scheme
1
star