joaoraf Goto Github PK

android-casual

Automatically exported from code.google.com/p/android-casual

antlr4ide

ANTLR 4 IDE for Eclipse

basic-ccg-parser

Basic CCG (Categorical Combinator Grammar) parser, in javascript

breeze

Breeze is a library for numerical processing, machine learning, and natural language processing. Its primary focus is on being generic, clean, and powerful without sacrificing (much) efficiency. Breeze is the merger of the ScalaNLP and Scalala projects, because one of the original maintainers is unable to continue development. The Scalala parts are largely rewritten.

docear-desktop

Docear's desktop version (GPL)

docx4j

JAXB-based Java library for Word docx, Powerpoint pptx, and Excel xlsx files

dresdenocl

Dresden OCL provides a set of tools to parse and evaluate OCL constraints on various models like UML, EMF and Java. Furthermore Dresden OCL provides tools for Java/AspectJ and SQL code generation.

dwws-test-01

dwws-test1

Exemplo de aplicação baseado no play-silhouette-seed template.

foust-2021-paper-isabelle-sources

gameyard

Prolog gaming formalization/algorithms framework

gentoo-macbook

additional software for macbooks

goedelgod

Formalizations of Gödel's Ontological Proof of God's Existence

gramps

Source code for Gramps Genealogical program

hets

The Heterogeneous Tool Set

hets-lib

Basic libraries and other examples

introducao-scala

Source code of an introductory presentation about the Scala programming language. Mostly in portuguese.

iprover

Automatically exported from code.google.com/p/iprover

jnlp-data

Scala case classes and correspoding XML parsers/serializers for the JNLP XML format using scalaxb

jnlp-to-one-jar-maven-plugin

A Maven plugin that downloads jars from a JNLP url and builds a One-Jar executable.

kiama

Automatically exported from code.google.com/p/kiama

lexml-vocabulary

Vocabulários do Projeto LexML

libzmq

ØMQ libzmq core library -- development trunk

log4jdbc-log4j2

Automatically exported from code.google.com/p/log4jdbc-log4j2

menthor-backend

Back-end for developing applications

menthor-frontend

Menthor Web Editor

neovim

Vim-fork focused on extensibility and usability

nltk

NLTK Source

odoo

Odoo (formerly OpenERP). Open Source Apps To Grow Your Business.

openccg

OpenCCG library for parsing and realization with CCG