@shua
github

shua

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    41
  • Global Rank 390,109 (Top 14 %)
  • Followers 43
  • Following 57
  • Registered over 14 years ago
  • Most used languages
    Rust
         16.7 %
    C
         16.7 %
    C++
         16.7 %
    Go
         8.3 %
    Java
         8.3 %
    JavaScript
         8.3 %
    Prolog
         8.3 %
    Lean     8.3 %
    HTML
         8.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 78,582
  • Country Ranking
    Lean     66
    Prolog
         418
    Rust
         6,479
    Java
         8,148

Top repositories

1

jams

Java
15
star
2

ssm

simple stream manager, check it out at https://shua.github.io/ssm
JavaScript
3
star
3

leanknot

Some formalizations of knot theory ideas in lean
Lean
3
star
4

dolface

collection of simple tools for working with nintendo dol and related files
C
2
star
5

graf

print grafana data in your terminal
Rust
2
star
6

balacant

a native clone of a fun web game
C++
2
star
7

mito

sad attempt at an agar.io clone
HTML
2
star
8

gpodrs

minimal gpodder.net server
Rust
1
star
9

pl-http-server

an http server written in prolog
Prolog
1
star
10

Ogitor-Facade-Plugins

C++
1
star
11

terraform-provider-splunksearch

terraform provider for splunk searches
Go
1
star
12

leapontheremotion

Imagine you had the ability to control everything, now take away everything and leave pitch and volume
C
1
star