Solomon Bloch (@solbloch)
github

solbloch

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 708,350 (Top 25 %)
  • Followers 14
  • Following 7
  • Registered over 7 years ago
  • Most used languages
    Common Lisp
         60.0 %
    Lean     20.0 %
    JavaScript
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 122,261
  • Country Ranking
    Lean     110
    Common Lisp
         192

Top repositories

1

stumpwm-configs

Lots of configuration, need to share between computers.
Common Lisp
7
star
2

lispotify

common lisp spotify wrapper
Common Lisp
3
star
3

3d-vector-lib

Pretty fast 3d-vector library for a little animation.
Common Lisp
3
star
4

theorem-proving-in-lean

Working through Theorem Proving in Lean book.
Lean
1
star
5

acro

Acronym game.
JavaScript
1
star