@JUrban
github

JUrban

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    96
  • Global Rank 212,787 (Top 8 %)
  • Followers 57
  • Registered over 15 years ago
  • Most used languages
    Perl
         35.7 %
    Emacs Lisp
         21.4 %
    TeX
         14.3 %
    Shell
         7.1 %
    OpenEdge ABL     7.1 %
    XSLT     7.1 %
    Prolog
         7.1 %

Top repositories

1

deepmath

deep learning for math
Perl
29
star
2

MPTP2

Prolog
19
star
3

ott2miz

Emacs Lisp
6
star
4

xsl4mizar

XSLT
6
star
5

MPTP2078

The MPTP2078 benchmark
OpenEdge ABL
6
star
6

mwiki

Perl
5
star
7

MMLLicense

Licensing for the Mizar Mathematical Library
TeX
5
star
8

mizarmode

mizarmode
Emacs Lisp
5
star
9

ATP_Proofs

Interesting ATP Proofs
4
star
10

FlotterOnTPTP

Perl
2
star
11

MPTP

Perl
2
star
12

BliStr

BliStr system
Perl
1
star
13

bib2csv

bib2csv
TeX
1
star
14

hol-advisor

Emacs Lisp
1
star
15

extract-defs

1
star
16

hol-light-nat

Native compilation of HOL Light
Shell
1
star