Joe Hendrix (@joehendrix)
github

joehendrix

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    74
  • Global Rank 258,484 (Top 9 %)
  • Followers 50
  • Following 4
  • Registered over 13 years ago
  • Most used languages
    Lean     50.0 %
    Rust
         25.0 %
    Roff     12.5 %
    Haskell
         12.5 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 69,372
  • Country Ranking
    Lean     21
    Roff     54
    Haskell
         2,936
    Rust
         6,461

Top repositories

1

lean-crypto

Cryptographic routines for the Lean 4 language
Roff
42
star
2

lean-sat-checker

A work in progress proof checker for LRAT files written in Lean.
Lean
11
star
3

lean-libuv

Bindings to LibUV in Lean
Lean
6
star
4

lean-arith-solver

Lean
4
star
5

rustlean

Repository for developing a Cargo build extension to support lean.
Rust
2
star
6

lean-benchmark-experiments

Rust
1
star
7

lean-containers

Lean
1
star
8

ascl-parser

Haskell
1
star
9

lean-cheatsheets

1
star