Alexandre Rademaker (@arademaker)
github

arademaker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    105
  • Global Rank 200,739 (Top 7 %)
  • Followers 241
  • Following 124
  • Registered over 15 years ago
  • Most used languages
    Common Lisp
         26.7 %
    Lean     26.7 %
    Python
         13.3 %
    Haskell
         13.3 %
    R
         6.7 %
    TeX
         6.7 %
    XSLT     6.7 %
  • Location πŸ‡§πŸ‡· Brazil
  • Country Total Rank 3,572
  • Country Ranking
    XSLT     2
    Lean     4
    Common Lisp
         13
    Haskell
         63
    R
         241
    TeX
         319
    Python
         3,320

Top repositories

1

SLattes

Semantic Lattes
XSLT
40
star
2

hemera

Yet another simple theorem prover
Python
6
star
3

IR-2011

Curso de Introdução ao R - 2011
R
6
star
4

SALC

A Sequent Calculus for ALC (Description Logic)
5
star
5

qualis

Datasets about CAPES Qualis (Rank of Academic Journals)
Common Lisp
5
star
6

lattes-to-bibtex

A web interface for convert Lattes files to BibTeX
Common Lisp
4
star
7

arademaker.github.com

homepage and blog
TeX
3
star
8

alc-lean

Formalization of ALC Logic in LEAN Prover
Lean
3
star
9

krr

Knowledge Representation and Reasoning
Common Lisp
3
star
10

hs-conllu

CoNLL-U/UD library
Haskell
3
star
11

vizagrams

Lean
2
star
12

CS-FP

Course on Computational Semantics
Haskell
2
star
13

ED-2017-2

Curso ED Mestrado FGV/EMAp
Python
2
star
14

delphin

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets
Lean
2
star
15

paip

Code of PAIP book with adaptations
Common Lisp
1
star
16

puzzles

puzzles from TPTP
Lean
1
star