James Gallicchio (@JamesGallicchio)
github

JamesGallicchio

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    61
  • Global Rank 296,700 (Top 11 %)
  • Followers 30
  • Following 24
  • Registered over 9 years ago
  • Most used languages
    Lean     84.6 %
    Scala
         15.4 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 76,182
  • Country Ranking
    Lean     10
    Scala
         2,175

Top repositories

1

LeanColls

WIP collections library for Lean 4
Lean
29
star
2

LeanSAT

Lean
17
star
3

http

Basic HTTP definitions and parsing for Lean
Lean
6
star
4

lean-openapi

Lean
4
star
5

eternity2

Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
Lean
4
star
6

waterfall

bot for managing dependent PRs, particularly dependent PRs across GH projects
Lean
3
star
7

SmtLibLean

some experiments with SMT-LIB
Lean
3
star
8

brunched-invitations

Lean
2
star
9

pauline

Lean formalization of SML, mainly for educational purposes
Lean
2
star
10

RedBot

General Purpose Discord Bot
Scala
2
star
11

LeanSerial

(De-)serialization library for Lean 4
Lean
1
star
12

lean_rms

Lean
1
star
13

Stravum

Java implementation of the Stratum Bitcoin mining protocol
Scala
1
star