Popular repositories Loading

1. nominal-ac nominal-ac Public

   A Formalisation (in Coq) of Nominal C-Matching and Unification and Nominal A, C and AC-Equivalence

   Coq 2 2

2. dspace-standard dspace-standard Public

   Este repositório mudou de endereço

   1

3. RBIB RBIB Public

   Java 2

4. vufind vufind Public

   Forked from vufind-org/vufind

   A library resource discovery portal designed and developed for libraries by libraries

   PHP

5. repositorio-padrao repositorio-padrao Public

   Forked from projetos-codic-ibict/repositorio-padrao

   Instalação Padrão do DSpace para criação de Repositórios Institucionais

   Java

6. search-ui search-ui Public

   Forked from elastic/search-ui

   Search UI. Libraries for the fast development of modern, engaging search experiences.

   JavaScript