arademaker/solr
Allegro Common Lisp interface to Solr
Developer Profile
arademaker
Discovered public repositories for arademaker in the GitHub catalog.
arademaker/SDA-2013
article submitted for SDA-2013 (temporary repo)
arademaker/cbabel
A Rewriting Semantics for the CBABEL Architecture Description Language
arademaker/emap-techreport
LaTeX files for EMAP techreport
arademaker/lattes-to-bibtex
A web interface for convert Lattes files to BibTeX
arademaker/arademaker.github.com
homepage and blog
arademaker/SLattes
Semantic Lattes
arademaker/IR-2011
Curso de Introdução ao R - 2011
arademaker/dicionariosIBGE
Dicionários de dados para as pesquisas PNAD, PME e POF do IBGE.
arademaker/qualis
Datasets about CAPES Qualis (Rank of Academic Journals)
arademaker/SALC
A Sequent Calculus for ALC (Description Logic)
arademaker/hemera
Yet another simple theorem prover