Gabriel Ebner (@gebner)
github

gebner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    217
  • Global Rank 115,582 (Top 4 %)
  • Followers 139
  • Following 36
  • Registered over 14 years ago
  • Most used languages
    Lean     40.0 %
    Python
         20.0 %
    MATLAB
         15.0 %
    JavaScript
         5.0 %
    Scala
         5.0 %
    Haskell
         5.0 %
    C++
         5.0 %
    C
         5.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 26,715
  • Country Ranking
    Lean     6
    Scala
         698
    Haskell
         1,258
    MATLAB
         4,663
    C
         8,899

Top repositories

1

hott3

HoTT in Lean 3
Lean
74
star
2

trepplein

Lean type-checker written in Scala.
Scala
24
star
3

m17n-lean

System-wide Lean input method
Python
11
star
4

dali-usb

Firmware for a DALI-USB adapter using an ATtiny45.
C
9
star
5

lean4-old

Lean4 work in progress repo
Lean
8
star
6

compiz-cms

Color management in compiz.
C++
5
star
7

hledger-diff

Compares the transactions in two ledger files.
Haskell
5
star
8

oleanparser

Lean
5
star
9

lean4-mathlib-import

Lean
4
star
10

dali-usb-host

Host utilities for my DALI-USB adapter
Python
3
star
11

super2

Lean
3
star
12

avm2017_tutorial

Materials for the Lean tutorial at the Alpine Verification Meeting 2017
Lean
2
star
13

inundation

Stress test for Lake.
Lean
1
star
14

pass2keepass

Simple tool to convert passwords from pass into keepassx (v1) format.
Python
1
star
15

espanso-lean

Espanso configuration for Lean abbreviations
Python
1
star
16

num-ws11-bsp2

MATLAB
1
star
17

autograder

Lean
1
star
18

notmuch2gmvault

Small tool to convert a notmuch database to a gmvault backup.
JavaScript
1
star
19

num-ws11-bsp1

MATLAB
1
star
20

numint

Final project for the numerics course in the fall semester 2011.
MATLAB
1
star