arademaker/IR-2011 arademaker/IR-2011

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    R
  • Created almost 14 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arademaker/IR-2011
github

arademaker

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Curso de Introdução ao R - 2011

More Repositories

1

SLattes

Semantic Lattes
XSLT
40
star
2

hemera

Yet another simple theorem prover
Python
6
star
3

SALC

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

qualis

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

lattes-to-bibtex

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

arademaker.github.com

homepage and blog
TeX
3
star
7

alc-lean

Formalization of ALC Logic in LEAN Prover
Lean
3
star
8

krr

Knowledge Representation and Reasoning
Common Lisp
3
star
9

hs-conllu

CoNLL-U/UD library
Haskell
3
star
10

vizagrams

Lean
2
star
11

CS-FP

Course on Computational Semantics
Haskell
2
star
12

ED-2017-2

Curso ED Mestrado FGV/EMAp
Python
2
star
13

delphin

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

paip

Code of PAIP book with adaptations
Common Lisp
1
star
15

puzzles

puzzles from TPTP
Lean
1
star