Charles Ruhland (@cruhland)
github

cruhland

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 27
  • Following 3
  • Registered over 12 years ago
  • Most used languages
    Python
         22.2 %
    Agda     22.2 %
    Rust
         11.1 %
    JavaScript
         11.1 %
    Lean     11.1 %
    C
         11.1 %
    Scala
         11.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 112,595
  • Country Ranking
    Agda     24
    Lean     76
    Scala
         3,655
    Rust
         4,162

Top repositories

1

tlpi-rust

Translating programs from the book "The Linux Programming Interface" to Rust
Rust
7
star
2

agda-analysis

Terence Tao's Analysis I, formalized in Agda
Agda
6
star
3

agda-quotients

Examples of quotient types in Agda
Agda
3
star
4

lean4-analysis

Lean
2
star
5

python-drills

Learn Python syntax through repetition
Python
2
star
6

js-scratchpad

My attempt to learn JavaScript by building things
JavaScript
1
star
7

gentzen

Interactive theorem proving using natural deduction
Scala
1
star
8

pyfind

Tutorial for writing a Python implementation of the Unix 'find' command
Python
1
star
9

computer-systems-class

Resources for teaching computer systems fundamentals
C
1
star