Popular repositories Loading

1. SLattes SLattes Public

   Semantic Lattes

   XSLT 41 15

2. dicionariosIBGE dicionariosIBGE Public

   Forked from erickrf/dicionariosIBGE

   Dicionários de dados para as pesquisas PNAD, PME e POF do IBGE.

   R 14 11

3. fad fad Public

   Functional Algorithms Design

   Lean 7 1

4. hemera hemera Public

   Yet another simple theorem prover

   Python 6 1

5. IR-2011 IR-2011 Public

   Curso de Introdução ao R - 2011

   R 6 3

6. SALC SALC Public

   A Sequent Calculus for ALC (Description Logic)

   5