George Stelle (@stelleg)
github

stelleg

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    14
  • Global Rank 798,133 (Top 28 %)
  • Followers 11
  • Following 1
  • Registered about 15 years ago
  • Most used languages
    TeX
         22.2 %
    Haskell
         22.2 %
    C++
         11.1 %
    Python
         11.1 %
    Coq     11.1 %
    Shell
         11.1 %
    C
         11.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 135,062
  • Country Ranking
    Coq     132
    Haskell
         1,520
    TeX
         3,606

Top repositories

1

cem_coq

Coq implemenation of CEM with proof of correctness
Coq
3
star
2

tapir-hs

Haskell
2
star
3

plex-media-server-arm

Shell
2
star
4

delayed-audio-feedback

A simple gui for running delayed audio feedback experiments
Python
2
star
5

libomp_fib

C
1
star
6

cfa

CFA playground
Haskell
1
star
7

reductions

C++
1
star
8

beamer-templates

TeX
1
star
9

cem_pearl

Cactus environment machine
TeX
1
star