FRDCSA | external codebases
Homepage

Current external codebases, sorted alphabetically

View: minor codebases | internal codebases | external codebases | git codebases | packages

Search:

External codebases have been gathered manually with RADAR from online sources. RADAR is not spidering yet and we have not yet automatically processed all systems for descriptions, hence only some descriptions are displayed.

../misc/construction.html
100daysofcode-20171120 -
../misc/construction.html
1126809-20160707 -
../misc/construction.html
3t-20170917 -
../misc/construction.html
3t-20190108 -
../misc/construction.html
3t-20190514 -
../misc/construction.html
99-prolog-problems-20181011 -
../misc/construction.html
a2c-gvgai-20180629 -
../misc/construction.html
aaai-10-benchmarks -
../misc/construction.html
aaaviewer-20190304 -
../misc/construction.html
aafid2-latest-20180707 -
AAFID(tm) is a distributed monitoring and intrusion detection system that employs small stand-alone programs (Agents) to perform monitoring functions in the hosts of a network. AAFID uses a hierarchical structure to collect the information produced by each agent, by each host, and by each set of hosts, to be able to detect suspicious activity.
../misc/construction.html
aanrelease-2007 -
../misc/construction.html
aart-0.0.7 -
the multi channel raster image optic block corelator
../misc/construction.html
abc70930-20181124 -
../misc/construction.html
abcl-bin-1.5.0 -
../misc/construction.html
abcl-src-1.5.0 -
../misc/construction.html
abductive-event-calculus-planners-20190228 -
../misc/construction.html
abner-1.5 -
../misc/construction.html
acewiki-0.3.1 -
../misc/construction.html
ach-1.0-alpha -
../misc/construction.html
acl-express-10.1 -
../misc/construction.html
acl-express-linux-8.2 -
../misc/construction.html
acopost-1.8.4 -
../misc/construction.html
act-r-5.0 -
../misc/construction.html
activemath-1.0 -
../misc/construction.html
activetcl-8.6.6.8606 -
../misc/construction.html
actrbot-0.8.2 -
../misc/construction.html
adminlte2-20151112 -
../misc/construction.html
adrift-5.0.35 -
../misc/construction.html
adversarial-planning-20180208 -
../misc/construction.html
agency-20170909 -
../misc/construction.html
agentowl-1.0 -
../misc/construction.html
aig-smv-08 -
../misc/construction.html
aisystem-1.08 -
../misc/construction.html
akanere-beta-20100918 -
../misc/construction.html
akira-0.9.1 -
../misc/construction.html
ale-0.4.4 -
../misc/construction.html
ale-atari-width-20190511 -
../misc/construction.html
aleph-20140331 -
../misc/construction.html
alexa-skills-kit-java-20170125 -
../misc/construction.html
alice-2.0.0 -
../misc/construction.html
alice-2.2 -
../misc/construction.html
aliceml-20170504 -
../misc/construction.html
allegrograph-20180915 -
../misc/construction.html
alolli-20170504 -
ALolli is a port of Lolli to Alice extended with interprocess communication commands.
../misc/construction.html
alpaco-v-0.3 -
../misc/construction.html
alphaunix-15.53 -
../misc/construction.html
alphaunix1550-20181124 -
../misc/construction.html
alpine-latest-20190514 -
../misc/construction.html
alpprolog-20150212 -
ALPprolog is a Prolog implementation of an action programming language.
../misc/construction.html
alpprolog-20160110 -
ALPprolog is a Prolog implementation of an action programming language.
../misc/construction.html
alpprolog-20160401 -
ALPprolog is a Prolog implementation of an action programming language.
../misc/construction.html
alvey-dcg-20170709 -
The UK Alvey Programme originally funded three projects at the Universities of Cambridge, Edinburgh and Lancaster to provide tools for use in natural language processing research. The DTI and SERC funded their continued support and enhancement. The tools, a morphological analyser, parsers, and a grammar and lexicon (click on the components to find published references to them), are usable individually as well as together - integrated by a grammar development environment - forming a complete system for the morphological, syntactic and semantic analysis of a considerable subset of English.
../misc/construction.html
alvis-tools-20080306 -
../misc/construction.html
am-utexas-20160221 -
../misc/construction.html
ambiverse-nlu-20190720 -
../misc/construction.html
amr2eng-20180617 -
This package generates English sentences from input Abstract Meaning Representation (AMR) graphs. To do so, the code first linearizes AMR graphs into AMR strings and then uses a phrase based machine translation (PBMT) system (Moses) for "translating" AMR strings into English. The package contains a trained phrase table and tuned weights for PBMT, and uses Moses only for decoding.
../misc/construction.html
amrparser-20180617 -
This software is an implementation of the AMR parsing strategy described in "Using Syntax-Based Machine Translation to Parse English into Abstract Meaning Representation", Pust, Hermjakob, Knight, Marcu, and May, appearing in Proc. EMNLP, 2015
../misc/construction.html
anaphora-20140126 -
../misc/construction.html
android-sdk-linux-x8-6.1.1 -
../misc/construction.html
android-sdk-linux-x8-6.1.5 -
../misc/construction.html
android-studio-ide-162.3934792 -
../misc/construction.html
animals-wiki-texts-2006 -
../misc/construction.html
animevision-20080424 -
../misc/construction.html
answerfinder-20140209 -
../misc/construction.html
antlrworks-1.5.2 -
../misc/construction.html
anubadok-0.2.1 -
../misc/construction.html
anymeal-0.23 -
../misc/construction.html
apache-opennlp-1.5.3 -
../misc/construction.html
ape-6.5-091130 -
../misc/construction.html
apes-0.2.0 -
Allows querying and extending the knowledge base from a command-line interface. For that it uses a format aiming at natural language, which is defined as a Definite Clause Grammar (DCG). The knowledge is stored in text files using a format which is maintainable by the domain expert.
../misc/construction.html
apps-for-android-20100427 -
../misc/construction.html
aquarius-20191016 -
../misc/construction.html
arc-20170804 -
This program is a command-line based tool that can be used to analyze systems modelled using the AltaRica language.
../misc/construction.html
arcext-20110913 -
../misc/construction.html
argunet-gtk-2.0 -
../misc/construction.html
arkref-20100622 -
../misc/construction.html
armada-1.3 -
../misc/construction.html
ascp-tplp05 -
../misc/construction.html
askemos-0.8 -
../misc/construction.html
assert-0.14 -
../misc/construction.html
astrogen-20080702 -
../misc/construction.html
asv-toolbox-20090214 -
../misc/construction.html
asv-toolbox-tev-1.0 -
../misc/construction.html
asynk-0.3.0 -
../misc/construction.html
atomic-data-20190204 -
../misc/construction.html
atre-20160508 -
../misc/construction.html
attempto-controlled-english-6.0.080506 -
../misc/construction.html
audiomonitor-20140826 -
../misc/construction.html
augmentedwordnet-20080220 -
../misc/construction.html
awb-4.40 -
../misc/construction.html
aximo-linux-20110816 -
../misc/construction.html
baby-2.3 -
../misc/construction.html
babylon-2.3 -
../misc/construction.html
bact-0.13 -
../misc/construction.html
badger-20011212 -
../misc/construction.html
badger-source-20111217 -
../misc/construction.html
baleen-2.7.0 -
../misc/construction.html
baleen-20190714 -
../misc/construction.html
balie-1.81 -
../misc/construction.html
banshee-1.02 -
../misc/construction.html
bart-20091005 -
../misc/construction.html
bash-master-20190930 -
../misc/construction.html
bash-parser-20180430 -
Parses bash source code to produce an AST
../misc/construction.html
bashlex-20170303 -
bashlex is a Python port of the parser used internally by GNU bash.
../misc/construction.html
basicplayer-0.6.1 -
../misc/construction.html
bat-20150410 -
../misc/construction.html
bayou-20180721 -
Bayou is a data-driven program synthesis system for Java API idioms that uses the novel technique of Neural Sketch Learning.
../misc/construction.html
bddbddb-full-20150228 -
../misc/construction.html
bdi-quest-r339 -
../misc/construction.html
benchmark-generators-20170801 -
This folder contains the scripts for generating PR tasks from planning domains. For some of them, you'll find programs that generate instances - block-words, bui-campus, confusion-grid, easy-grid-navigation, kitchen. For others, such as logistics or intrusion-detection, we made the instances by hand.
../misc/construction.html
benchmarks-clg-20170927 -
../misc/construction.html
bettyprimacy-20170722 -
../misc/construction.html
bfws-public-20190511 -
../misc/construction.html
bino-0.1.tar.xz -
../misc/construction.html
bios-1.1.0 -
Bios is a suite of syntactico-semantico analyzers that include the most common tools needed for the shallow analysis of English text. Currently the following tools are included: (*) Smart tokenizer that recognizes abbreviations, SGML tags etc. (*) Part-of-speech (POS) tagger. The POS tagger is implemented as a a wrapper around the TNT tagger by Thorsten Brants. (*) Syntactic chunking using the labels promoted by the CoNLL chunking evaluations (http://www.cnts.ua.ac.be/conll2000/chunking). (*) Named-Entity Recognition and Classification (NERC) for the CoNLL entity types plus an additional 11 numerical entity types.
../misc/construction.html
bison-pp-1.21.8 -
../misc/construction.html
bitpim-0.8.08 -
../misc/construction.html
biutee-20110919 -
../misc/construction.html
blast-2.4 -
../misc/construction.html
blast-2.4-linux-bin-x86 -
../misc/construction.html
blast-2.5-linux-bin-x86.64 -
../misc/construction.html
bliksemsource-20080622 -
../misc/construction.html
bliksemsource-20100523 -
../misc/construction.html
bnfc-2.8.2 -
../misc/construction.html
boid-20110919 -
../misc/construction.html
boom-1.1 -
../misc/construction.html
boom-1.2-linux-x86 -
../misc/construction.html
boom-1.3-linux-x64 -
../misc/construction.html
boom-1.4-linux-x64 -
../misc/construction.html
boom-1.5-linux-x86 -
../misc/construction.html
boom-1.6-linux-x86 -
../misc/construction.html
boom-1.7-linux-x86 -
../misc/construction.html
boom-1.8-linux-x86 -
../misc/construction.html
boostexter-20010430 -
../misc/construction.html
bootcat-0.1.2 -
../misc/construction.html
bow-20020213 -
Rainbow is a C program that performs document classification using one of several different methods, including naive Bayes, TFIDF/Rocchio, K-nearest neighbor, Maximum Entropy, Support Vector Machines, Fuhr's Probabilitistic Indexing, and a simple-minded form a shrinkage with naive Bayes.
../misc/construction.html
bp81-linux64 -
../misc/construction.html
brainworkshop-4.4 -
../misc/construction.html
brettspielwelt-20170429 -
../misc/construction.html
brico-20080217 -
../misc/construction.html
brilltag-20081023 -
../misc/construction.html
bte-0.1 -
../misc/construction.html
bug-assist-cmd-linux-64 -
../misc/construction.html
building-problem-solvers-20140210 -
../misc/construction.html
building-search-applications-20110808 -
../misc/construction.html
bundler-0.4 -
../misc/construction.html
bundler-linux-0.2 -
../misc/construction.html
bundler-v0.4-source -
../misc/construction.html
bymc-0.9.5 -
../misc/construction.html
bymc-src-0.6.5 -
../misc/construction.html
bymc-src-bymc-0.1.2 -
../misc/construction.html
bymc-src-luxemburg14-rc2 -
../misc/construction.html
c-war-0.1 -
This package contains the source code for the examples shown in the book "Building Search Applications: Lucene, Lingpipe, and Gate".
../misc/construction.html
c50-20160508 -
../misc/construction.html
cade-2000 -
../misc/construction.html
cadiaplayer-2.0.1 -
../misc/construction.html
cadiaplayer-3.0 -
../misc/construction.html
caevo-20180827 -
A TempEval-style system for extracting temporal entities (events and time expressions), and labeling the temporal relations between the temporal entities. More details can be found here: http://www.usna.edu/Users/cs/nchamber/caevo/
../misc/construction.html
cageclass-20080306 -
../misc/construction.html
calculability-20190807 -
../misc/construction.html
calo-0.1 -
../misc/construction.html
candc-1.00 -
../misc/construction.html
candc-linux-1.00 -
../misc/construction.html
candc-models-1.02 -
../misc/construction.html
canonicalization-data-v-1.0 -
This data contains lists of conference and journal names culled from the Web by http://www.rexa.info (Rexa). Given a set of strings referring to the same conference or journal, the task is to determine which string should be the canonical one. The canonical string should be free of spelling, segmentation, and OCR errors, and should in some sense be prototypical of the entity.
../misc/construction.html
cape-0.7 -
A programming environment supporting inter-calling between the Clips rule-based system and Perl.
../misc/construction.html
cape-20120222 -
A programming environment supporting inter-calling between the Clips rule-based system and Perl.
../misc/construction.html
caqe-2 -
../misc/construction.html
caqe-qbfeval-2017 -
../misc/construction.html
carneades-20120422 -
../misc/construction.html
carneades-4-master-20160504 -
These are the source files of Version 4 of the Carneades argumentation system, written in the Go programming language. This source code is subject to the terms of the Mozilla Public License, version 2.0 (MPL-2.0). If a copy of the MPL was not distributed with this software, it is also available online at . For futher information about the MPL see . This version of Carneades consists of: - An implementation of a solver for Dung abstract argumentation frameworks, using grounded, complete, preferred and stable semantics. Argumentation Frameworks can be represented using the [Trivial Graph Format](https://en.wikipedia.org/wiki/Trivial_Graph_Format). The computed extensions can be exported to DOT, GraphML and plain text. - An evaluator for structured arguments, based on a new version of the Carneades Argument Evaluation Structures (CAES) formal model of argument. - New features of version 4 of Carneades include: * Support for cyclic argument graphs, cumulative arguments, issue-based information systems (IBIS) and multicriteria decision analysis. * Argument graphs can be represented in AGXML, AIF, LKIF, CAF and YAML and exported to DOT, GraphML, PNG, SVG and YAML. * User-definable argument weighing functions, for computing the relative weights of arguments based on their properties, such as the authority or effective date of the argumentation scheme applied, or the labels (in, out, undecided) of premises. The failure of a premise can weaken or even strengthen an argument without defeating it entirely. * Automatic argument construction by applying argumentation schemes to assumptions, via an inference engine implemented using [Constraint Handling Rules](https://dtai.cs.kuleuven.be/CHR/). Carneades can visualize both Dung abstract argumentation frameworks and CAES argument graphs using [DOT](http://www.graphviz.org/content/dot-language) and [GraphML](https://en.wikipedia.org/wiki/GraphML). We recommend using the free [yEd](http://www.yworks.com/yed) GraphML editor to view the GraphML files.
../misc/construction.html
carneades-editor-1.0.2 -
../misc/construction.html
casapi-4.3 -
../misc/construction.html
casc-21 -
../misc/construction.html
casemapper-7.03 -
../misc/construction.html
categorytheory-20181105 -
Category Theory in Agda
../misc/construction.html
catmud-20180216 -
CatMUD is a MUD server (and MUD game) written in Prolog. It is not designed to be robust, nor widely used, so it's probably not going to stand up to a regular MUD environment.
../misc/construction.html
causalrelationextraction-20140930 -
../misc/construction.html
causalrelationextraction-20171127 -
../misc/construction.html
ccalc-2.0 -
../misc/construction.html
ccgbank-data-20111109 -
../misc/construction.html
ccm-web-3 -
../misc/construction.html
ccp-1.51 -
../misc/construction.html
ccp-1.6.3 -
../misc/construction.html
celt-20091026 -
../misc/construction.html
center-20081215 -
../misc/construction.html
cfdalmas-20100605 -
../misc/construction.html
cff-20160811 -
../misc/construction.html
char-rnn-master-20160416 -
This code implements **multi-layer Recurrent Neural Network** (RNN, LSTM, and GRU) for training/sampling from character-level language models. In other words the model takes one text file as input and trains a Recurrent Neural Network that learns to predict the next character in a sequence. The RNN can then be used to genrate text character by character that will look like the original training data. The context of this code base is described in detail in my [blog post](http://karpathy.github.io/2015/05/21/rnn-effectiveness/).
../misc/construction.html
charniak-20050816 -
../misc/construction.html
charniak-200605 -
../misc/construction.html
charniak-200608 -
../misc/construction.html
charniak-parser-20081026 -
../misc/construction.html
charniak-patch-20110710 -
../misc/construction.html
charniak-unknown-20110710 -
../misc/construction.html
charniaks-parser-fixed-20050526 -
../misc/construction.html
cheapglk-20140825 -
../misc/construction.html
cherrypicker1.01-20181124 -
../misc/construction.html
chess-1.2 -
../misc/construction.html
chesscommentarygeneration-20190924 -
../misc/construction.html
chimp-201-2.01.29 -
../misc/construction.html
chinesenametagger-20140509 -
../misc/construction.html
chump-2.0 -
Daily Chump IRC bot
../misc/construction.html
ciaode-1.1-4.2.13646 -
../misc/construction.html
ciaode-1.15.1781 -
../misc/construction.html
cinelerra-2.0 -
../misc/construction.html
cl-97 -
These are the files used for some of the experiments reported in my article in Computational Linguistics, `Efficient and Robust Parsing with the Head-corner Parser
../misc/construction.html
cl-prolog2 -
This is a realization of Marc Kuo's ["modelling approach to OR (operations research)"](https://kuomarc.wordpress.com/2012/03/05/the-uncommon-lisp-approach-to-operations-research/) for Prolog language.
../misc/construction.html
clair-20080702 -
../misc/construction.html
clex-6.0.080506 -
../misc/construction.html
clex-6.5.090528 -
../misc/construction.html
clg-plus-20181025 -
A contingent planner by A.Albore and H.Geffner (c)2010
../misc/construction.html
clg-run-20170927 -
CLG Planner run information
../misc/construction.html
clingo-20190304 -
../misc/construction.html
clingo-3.0.5 -
../misc/construction.html
clingo-4.5.4 -
../misc/construction.html
clipsjni-0.3 -
../misc/construction.html
clpplan-20190310 -
../misc/construction.html
clprover-1 -
CLProver is a resolution-based theorem-prover based on the method described in he paper "A resolution-based calculus for Coalition Logic" (Nalon, C., Zhang, L., Dixon, C., and Hudstadt, U., Journal of Logic and Computation, 2014). It was implemented in SWI Prolog and the binary, compiled for linux x86_64, is available at http://www.cic.unb.br/docentes/nalon/software/clprover-v1.tar.gz.
../misc/construction.html
Packages [DEB]
clproverpp-1.0.3 -
CLProver++ is an ordered resolution based theorem prover for Coalition Logic. It accepts as input a set of DNCF_CL^MV clauses and outputs their satisfiability.
../misc/construction.html
cmanager-20040825 -
../misc/construction.html
cms-20020304 -
http://www-ksl-svc.stanford.edu:5915/doc/release/index.html
../misc/construction.html
cmu-cam-toolkit-2 -
../misc/construction.html
cmucl-20e -
../misc/construction.html
cmucomm-3.0 -
../misc/construction.html
cmvs-20100618 -
../misc/construction.html
cmvs-fix-20170723 -
../misc/construction.html
code-20170807 -
Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols
../misc/construction.html
code-20170909 -
../misc/construction.html
codesh-0.9.0 -
CODESH - COllaborative DEvelopment SHell is an intelligent shell, which automatically logs a user's command line (shell) session: commands, scripts executed, output produced, changes to environment variables, alias creation and other information needed to recreate the session later. This session is uniquely tagged and stored in local or distributed backend repositories and can be extracted and reproduced at any time by the user who created the session or by collaborators located anywhere in the world.
../misc/construction.html
cogcomp-20140216 -
../misc/construction.html
cogsketch-kb-4.008 -
../misc/construction.html
collins-parser-20080216 -
This code is the statistical natural language parser described in M. Collins. 1999. Head-Driven Statistical Models for Natural Language Parsing. PhD Dissertation, University of Pennsylvania.
../misc/construction.html
collins-parser-20080503 -
This code is the statistical natural language parser described in M. Collins. 1999. Head-Driven Statistical Models for Natural Language Parsing. PhD Dissertation, University of Pennsylvania.
../misc/construction.html
colororacle-20080314 -
../misc/construction.html
colourandform-20100605 -
../misc/construction.html
components-tnt-20100926 -
../misc/construction.html
computational-semantics-20140107 -
../misc/construction.html
concept-match-20080311 -
../misc/construction.html
conceptextract-0.5 -
../misc/construction.html
conceptnet-5.2.2 -
../misc/construction.html
conceptool-0.9 -
../misc/construction.html
conditional-planner-inputs-20160811 -
../misc/construction.html
conformant-aij-20160811 -
This package contains the executable version of DNF and bechnmarks used for the paper submitted to AIJ December, 2012.
../misc/construction.html
consoleshrdlu-20190503 -
../misc/construction.html
contact-data-v-1.0 -
../misc/construction.html
contingent-benchmarks-20170702 -
../misc/construction.html
contingent-ff-20140825 -
../misc/construction.html
contingent-ff-bin-20180307 -
../misc/construction.html
convote-v-1.1 -
../misc/construction.html
cortex-0.1 -
This contains the CoRTex (Co-Reference at Texas) code, which was created by Pascal Denis as part of his PhD dissertation and implements coreference resolution using ranking and global ILP (integer linear programming) based constraints.
../misc/construction.html
costapse-423 -
../misc/construction.html
cotd-20190617 -
../misc/construction.html
cotd-linux-x64-v-1.3.4 -
../misc/construction.html
cougaar-10.2.1 -
Cougaar is a Java-based architecture for the construction of large-scale distributed agent-based applications. It is a product of two consecutive. The second program is developing information technologies to enhance the survivability of these distributed agent-based systems operating in extremely chaotic environments.
../misc/construction.html
cow-20080702 -
../misc/construction.html
cpa-20160811 -
../misc/construction.html
cpah-20160811 -
CPA(H) Planner
../misc/construction.html
cpm-20180519 -
This program is a ncurses based console tool to manage passwords and store them public key encrypted in a file - even for more than one person. The encryption is handled via GnuPG so the programs data can be accessed via gpg as well, in case you want to have a look inside. The data is stored as as zlib compressed XML so it's even possible to reuse the data for some other purpose.
../misc/construction.html
cpp-2.0 -
CPP: A Constraint Logic Based Planner with Preferences
../misc/construction.html
creditpool-20100611 -
../misc/construction.html
crf-0.51 -
CRF++ is a simple, customizable, and open source implementation of Conditional Random Fields (CRFs) for segmenting/labeling sequential data. CRF++ is designed for generic purpose and will be applied to a variety of NLP tasks, such as Named Entity Recognition, Information Extraction and Text Chunking.
../misc/construction.html
crisp-nlg-20170305 -
../misc/construction.html
crypt-rot13-0.6 -
../misc/construction.html
ctat-unix-3.3.0 -
../misc/construction.html
ctcdecoder-20181121 -
../misc/construction.html
cudd-2.5.0 -
The CUDD package is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).
../misc/construction.html
cuneiform-20080310 -
../misc/construction.html
cuneiform-linux-1.0.0 -
../misc/construction.html
cuny-jointtagger-20140509 -
../misc/construction.html
cuny-software-nameclustering-1.0.0 -
../misc/construction.html
cwi-33949.165318.bcg -
../misc/construction.html
cxboard-0.14 -
../misc/construction.html
cyc-api-bundle-1.0.0 -
This package contains a suite of Java APIs for updating and querying the Cyc Knowledge Base. In the 1.0.0-Preview release, we offer the following APIs: * KB API - Streamlines the lookup and creation of terms and assertions in the Cyc knowledge base. * Query API - Tools for asking arbitrarily complex questions of a Cyc server, and dealing with the answers. * Base API - The successor to the OpenCyc API, this API provides functionality for connecting to a Cyc server and handling HL data. It is generally recommended that users employ the higher-level APIs (such as the KB API and the Query API) when possible.
../misc/construction.html
cyc-jrtl-with-commonlisp-20190106 -
../misc/construction.html
cyc-jrtl-with-commonlisp-20190112 -
../misc/construction.html
cyc-jrtl-with-commonlisp-20190124 -
../misc/construction.html
cyc-jrtl-with-commonlisp-20190421 -
../misc/construction.html
cyc-jrtl-with-commonlisp-20190425 -
../misc/construction.html
cyc-jrtl-with-commonlisp-20190506 -
../misc/construction.html
cyc-jrtl-with-commonlisp-20190614 -
../misc/construction.html
cypher-1.2 -
../misc/construction.html
cypher-1.9 -
../misc/construction.html
D13-20090213 -
../misc/construction.html
D2-2.220 -
../misc/construction.html
daemoncollins-1.1 -
../misc/construction.html
dageem-1.0 -
../misc/construction.html
dali-14.08a -
DALI is a meta interpreter built on top of Sicstus Prolog (R) (at the moment).
../misc/construction.html
dali-20190517 -
../misc/construction.html
dali-4 -
../misc/construction.html
darknet-20180508 -
Darknet is an open source neural network framework written in C and CUDA. It is fast, easy to install, and supports CPU and GPU computation.
../misc/construction.html
datalog-2.3 -
This package contains a lightweight deductive database system. Queries and database updates are expressed using Datalog--a declarative logic language in which each formula is a function-free Horn clause, and every variable in the goal of a clause must appear in the body of the clause. The use of Datalog syntax and an implementation based on tabling intermediate results, ensures that all queries terminate.
../misc/construction.html
datalog-2.5 -
This package contains a lightweight deductive database system. Queries and database updates are expressed using Datalog--a declarative logic language in which each formula is a function-free Horn clause, and every variable in the goal of a clause must appear in the body of the clause. The use of Datalog syntax and an implementation based on tabling intermediate results, ensures that all queries terminate.
../misc/construction.html
datamart-20080304 -
../misc/construction.html
datamart-20090115 -
../misc/construction.html
daydreamer-20171020 -
DAYDREAMER is a goal-based agent that models daydreaming, emotions, planning, and serendipity. Just give DAYDREAMER some goals and some input events, and it will be off and running in a stream of thought and action, which are monologuized in English.
../misc/construction.html
dbin-20080224 -
../misc/construction.html
dbpedia-extraction-20090126 -
../misc/construction.html
dbpedia-opencyc-20080224 -
../misc/construction.html
debatedynamics-20100208 -
../misc/construction.html
decreasoner-20181127 -
../misc/construction.html
deepmind-atari-deep-q-learner-20160302 -
../misc/construction.html
deepmind-atari-deep-q-learner-20171023 -
../misc/construction.html
deeprl-informationextraction-20180804 -
../misc/construction.html
deepspeare-20180815 -
../misc/construction.html
deid-1.1 -
Automated De-Identification of Free-Text Medical Records
../misc/construction.html
deidentify-20170611 -
> *deidentify* is a tool to remove personal identifiers from free-text medical record data. Detected identifiers are replaced by randomly generated substitutes. Consistency of the data is preserved as the same name, phone number or location will always be mapped to the same replacement.
../misc/construction.html
demiurge-1.1.0 -
../misc/construction.html
democratix-0.2 -
../misc/construction.html
deploy-sandbox-hdf-standalone-3.1.0 -
../misc/construction.html
depta-20080126 -
../misc/construction.html
des-3.10 -
../misc/construction.html
des-swi-4.2 -
../misc/construction.html
descriptiongen-20190304 -
../misc/construction.html
df-43.05 -
Slaves to Armok: God of Blood Chapter II: Dwarf Fortress
../misc/construction.html
df-44.12 -
../misc/construction.html
dflat-debugger-0.15 -
../misc/construction.html
dialog-games-20180716 -
../misc/construction.html
dialogs-20160508 -
DIALOGS - Dialog-based Inductive and Abductive LOGic program Synthesiser
../misc/construction.html
dialogs2-20160508 -
DIALOGS - Dialog-based Inductive and Abductive LOGic program Synthesiser
../misc/construction.html
diasdem-20080201 -
../misc/construction.html
dig-1.1 -
XML schemas and Java implementation of the DIG interface -- a standardised XML interface to Description Logics systems developed by the DL Implementation Group (DIG ).
../misc/construction.html
dimr-bdi-20040811 -
../misc/construction.html
discourse-parse-2.01 -
This RST-style discourse parser produces discourse tree structure on full-text level, given a raw text. No prior sentence splitting or any sort of preprocessing is expected. The program runs on Linux systems.
../misc/construction.html
discourse-parser-dist-20150805 -
../misc/construction.html
divisi-0.1 -
../misc/construction.html
divisi-0.5 -
../misc/construction.html
dmoz-urlclassifier-20180805 -
In my [research project](http://tarekamr.appspot.com/msc/presentation), I work on classifying web-pages based on their URLs only, hence DMOZ dataset is one of the datasets I use in my research.
../misc/construction.html
dnf-contingent-20160811 -
../misc/construction.html
dnrdalmas-20100605 -
../misc/construction.html
dnrdalmas-20110816 -
../misc/construction.html
dnrdalmas-20130206 -
../misc/construction.html
dnrdalmas-git-20160707 -
../misc/construction.html
docco-0.3 -
../misc/construction.html
documentsimilarity-0.1 -
../misc/construction.html
download.phpfilemathsat-5.5.2 -
../misc/construction.html
download.phpfnamescip-4.0.0 -
../misc/construction.html
downloadlic.cgifilenasa-nia-pvs-class-2012.vdi -
../misc/construction.html
downloadlic.cgifilesal-3.3-bin-x86.64-apple-darwin1-5.2.0 -
../misc/construction.html
dprolog-20180803 -
An extension of prolog that allows rules to be labelled with a belief (a real number between 0 and 1 inclusive) and given a label so that proofs can be generated with a belief attached to them and rules can argued about.
../misc/construction.html
dprolog-master-20160429 -
An extension of prolog that allows rules to be labelled with a belief (a real number between 0 and 1 inclusive) and given a label so that proofs can be generated with a belief attached to them and rules can argued about.
../misc/construction.html
dr-prolog-source-20180803 -
../misc/construction.html
dragontool-20090213 -
../misc/construction.html
dramneri-0.2.1 -
../misc/construction.html
dube-2 -
../misc/construction.html
dubey-software-20100627 -
../misc/construction.html
dunyazad-20190304 -
../misc/construction.html
dunyazad-20190703 -
../misc/construction.html
duprkit-20190601 -
../misc/construction.html
dvdstyler-1.5 -
../misc/construction.html
dwarf-fortress-34.11 -
../misc/construction.html
dynamicmacro-20191003 -
../misc/construction.html
e-prover-20130907 -
../misc/construction.html
earthengine-api-20181106 -
../misc/construction.html
easy-conceptnet-20190917 -
../misc/construction.html
easyccg-0.2 -
EasyCCG is a CCG parser created by Mike Lewis.
../misc/construction.html
eat-20080312 -
Edinburgh Associative Thesaurus
../misc/construction.html
eatclassifier-1.0 -
../misc/construction.html
eclipse-basic-20160110 -
ECLiPSe - Constraint Logic Programming System
../misc/construction.html
eclipse-modeling-2019.03-r-linux-gtk-x86.64 -
../misc/construction.html
edits-1.0 -
EDITS - Edit Distance Textual Entailment Suite
../misc/construction.html
edits-3.0 -
EDITS - Edit Distance Textual Entailment Suite - Version 3.0
../misc/construction.html
egypt-1.0 -
../misc/construction.html
eis-jason-0.3c -
../misc/construction.html
eldarica-2305 -
../misc/construction.html
elie-20080702 -
../misc/construction.html
elie-20081023 -
../misc/construction.html
elisp-20190609 -
../misc/construction.html
elkb-20091125 -
../misc/construction.html
elle-20130816 -
../misc/construction.html
elsa-20180902 -
Elsa is a tool that analyses your code without loading or running it. It can track types and provide helpful hints when things don't match up before you even try to run the code.
../misc/construction.html
emacs-24.4 -
../misc/construction.html
emacs-25.1 -
../misc/construction.html
emacs-mark-tools-20190728 -
../misc/construction.html
emacs-refactor-20190511 -
../misc/construction.html
emacs-wiki-2.72 -
../misc/construction.html
emdros-1.1.12 -
../misc/construction.html
emdros-3.0.1 -
../misc/construction.html
emma-1.3 -
../misc/construction.html
emma-src-20110821 -
../misc/construction.html
emofilt-095 -
emoFilt is NOT a text-to-speech synthesizer, it's ONLY a filter between an MBROLA pho-file and the MBROLA-engine to "emotionalize" the speech.
../misc/construction.html
emovoice-bin-20141126 -
EmoVoice is an emotional speech recognizer implemented in the SSI framework. It comes with a pipeline (emovoice.pipeline) and an example model (emovoice.trainer). The user is encouraged to train a personalized model using the training GUI (modelui.exe).
../misc/construction.html
en-nametagging-release-20140509 -
../misc/construction.html
encodings-dbai-tr-2017.107 -
../misc/construction.html
english-resource-grammar-20190313 -
../misc/construction.html
english-subcategorization-20080219 -
SUBCATEGORIZATION FRAME CLASSIFICATION AND GOLD STANDARD
../misc/construction.html
englishparsing-20081214 -
../misc/construction.html
enju-2.1.0 -
../misc/construction.html
enju-2.3.1 -
../misc/construction.html
enju-2.4.2 -
Enju is a syntactic analyzer for English. A grammar is based on Head-driven Phrase Structure Grammar (HPSG), which is a linguistic theory for syntax. Since this system computes more detailed structure of sentences than CFG parsers, you can obtain various information such as predicate-argument structures.
../misc/construction.html
entailment-with-tensorflow-20190314 -
../misc/construction.html
entity-resolution-citeseer-20090205 -
../misc/construction.html
eop-release-1.0.2 -
../misc/construction.html
ephyraquestionanalysis-20170320 -
A collection of [OpenEphyra](http://sourceforge.net/projects/openephyra/) components necessary for question analysis. **Dependencies**: Java, Maven, WordNet. **You may need to set the right locale**, see [build.sh](build.sh). Unlike initial versions relying on LTI repositories, this is a self-sufficient one.
../misc/construction.html
epilog-20050622 -
../misc/construction.html
epk-20170808 -
Single-Agent Planner is a complete epistemic planner without the epistemic closed world assumption for single agent which is logic-based.
../misc/construction.html
epr-20120128 -
../misc/construction.html
epr-20130203 -
../misc/construction.html
erg-20140204 -
../misc/construction.html
erg-2018 -
../misc/construction.html
espotter-20080414 -
../misc/construction.html
etalis-1.1 -
../misc/construction.html
etcher-1.3.1 -
../misc/construction.html
etymwn-20130208 -
../misc/construction.html
eusolver-20191026 -
../misc/construction.html
event2mind-20190325 -
../misc/construction.html
ewnsamples-20080219 -
../misc/construction.html
ex-20081020 -
../misc/construction.html
excitement-open-platform-20160618 -
This repository contains both the code and the documentation (i.e. wiki pages) of the next Excitement Open Platform (EOP) release, which is an open source software platform containing state-of-the-art algorithms for recognizing texual entailment relations: _given two text fragments, one named text and the other named hypothesis, the task consists in recognizing whether the hypothesis can be inferred from the text.
../misc/construction.html
exil-20180707 -
../misc/construction.html
expect-3.0 -
../misc/construction.html
expertperl-0.3 -
../misc/construction.html
explainshell-20170303 -
explainshell is a tool (with a web interface) capable of parsing man pages, extracting options and explain a given command-line by matching each argument to the relevant help text in the man page.
../misc/construction.html
explainshell-manpages-20170303 -
../misc/construction.html
exte-1.1 -
../misc/construction.html
factorie-20140218 -
../misc/construction.html
factual-statement-extractor-20100615 -
This is a software package for extracting simplified factual statements from complex sentences It was designed for the automatic factual question generation but may be useful for other natural language processing and generation problems (e.g., summarization).
../misc/construction.html
factualstatementextractor-20100626 -
This is a software package for extracting simplified factual statements from complex sentences It was designed for the automatic factual question generation but may be useful for other natural language processing and generation problems (e.g., summarization).
../misc/construction.html
fd-prob-20161118 -
../misc/construction.html
febrl-0.4.02 -
../misc/construction.html
fetch-0.7.5 -
../misc/construction.html
fetchyahoo-2.13.9 -
../misc/construction.html
figer-20140222 -
../misc/construction.html
find-0.1client -
Any computer with a WiFi card can use FIND using a client program that generates fingerprints by scanning the onboard wifi.
../misc/construction.html
find-2.0 -
**The Framework for Internal Navigation and Discovery** (_FIND_) allows you to use your (Android) smartphone or laptop to determine your position within your home or office. You can easily use this system in place of motion sensors as its resolution will allow your phone to distinguish whether you are in the living room, the kitchen or the bedroom, etc. The position information can then be used in a variety of ways including home automation, way-finding, or tracking!
../misc/construction.html
find-2.0-linux-amd64 -
../misc/construction.html
fingerprint-0.1-linux-amd64 -
../misc/construction.html
fipa-os-2.2.0 -
../misc/construction.html
fire-20110819 -
../misc/construction.html
flex-pp-2.3.8 -
../misc/construction.html
flip-0.7 -
../misc/construction.html
flock-1.1.2 -
../misc/construction.html
flora2-20131028 -
../misc/construction.html
flora2-20140209 -
../misc/construction.html
flora2-20140305 -
../misc/construction.html
flora2-20190224 -
../misc/construction.html
flora2bundle-20140702 -
../misc/construction.html
flora2bundle1-20140305 -
../misc/construction.html
florid-4.0 -
../misc/construction.html
flux-20160106 -
../misc/construction.html
flux-3.1 -
FLUX is a high-level programming system for cognitive agents of all kinds, including autonomous robots. Cognitive agents control themselves using an internal model of their environment. The FLUX kernel system endows agents with the general cognitive ability to reason about their actions and sensor data they acquire. FLUX agents are also able to plan ahead their actions in order to achieve specific goals. FLUX allows to implement complex strategies with concise and modular agent programs. An efficient constraint logic program, the FLUX system scales up well to domains which require large states and long action sequences.
../misc/construction.html
fluxgui-20190524 -
../misc/construction.html
fluxplayer-prolog-engine-20180611 -
The general game playing (GGP) starter code is a basic general game playing system (see http://www.general-game-playing.de for explanations) that only plays legal moves. It can be easily extended with an own strategy.
../misc/construction.html
fndata-1.7 -
../misc/construction.html
fnlabeller-20090601 -
../misc/construction.html
fortuna-0.2 -
../misc/construction.html
fossology-0.6.0 -
FOSSology is a framework for software analysis, both source and binary. It uses a repository for unpacking and storing the uploads, "agents" to analyze the uploaded files, and a Postgres database to store and display the results. Also included is a license agent for scanning source code for potential license texts.
../misc/construction.html
fossology-0.8.0 -
FOSSology is a framework for software analysis, both source and binary. It uses a repository for unpacking and storing the uploads, "agents" to analyze the uploaded files, and a Postgres database to store and display the results. Also included is a license agent for scanning source code for potential license texts.
../misc/construction.html
fossology-0.9.0 -
FOSSology is a framework for software analysis, both source and binary. It uses a repository for unpacking and storing the uploads, "agents" to analyze the uploaded files, and a Postgres database to store and display the results. Also included is a license agent for scanning source code for potential license texts.
../misc/construction.html
fowl-0.41 -
F-OWL is an ontology inference engine for the Web Ontology Language OWL. The ontology inference mechanism in F-OWL is implemented using Flora-2 in XSB. To interact with the F-OWL system, users can use the emulated command line application (i.e., owlxsb), and Java applications can use the provided F-OWL API.
../misc/construction.html
fpos-20180902 -
Accumulate and analyse your CSV transaction data to visualise your income and expenditure. The categories are loosely based on those used by the Australian Securities and Investments Commission on their [MoneySmart website](https://www.moneysmart.gov.au/). These scripts were hacked together out of laziness when the author got fed up with manually entering his data into the site.
../misc/construction.html
framenet-20080304 -
../misc/construction.html
framerd-2.6.1 -
../misc/construction.html
free-cite-20110815 -
../misc/construction.html
free-kmgen-20190303 -
../misc/construction.html
free-logic-form-1 -
../misc/construction.html
freebase-tools-1.0.0 -
../misc/construction.html
freedict-do-20080225 -
../misc/construction.html
freedius-20040812 -
../misc/construction.html
freedius-20100309 -
../misc/construction.html
freemind-0.7.1 -
../misc/construction.html
freetts-1.2 -
../misc/construction.html
frolog-20100920 -
../misc/construction.html
froz-20100126 -
../misc/construction.html
frozen-bubble-20190309 -
../misc/construction.html
fsaplanner-20180605 -
This is an implementation in SWI Prolog of a planner that generates loops.
../misc/construction.html
ftwmaxent-2.0 -
../misc/construction.html
funbot-koha-20080812 -
Funbot is a Perl IRC bot designed to sit on a server and perform various tasks suited to IRC bots. This can include joining and parting channels, keeping track of channel ops/voices/bans, and various miscellaneous tasks. Anyone who frequents IRC has probably seen Eggdrops, mIRC ``bots'', fserves, or whatever services the IRC network provides.
../misc/construction.html
gaia-interchange-20180826 -
../misc/construction.html
gait-recognition-20180511 -
In this project you can find implementation of deep neural network for **people identification from video** by the characteristic of their **gait**. The processing is very robust against various covariate factors such as *clothing*, *carrying conditions*, *shoe types* and so on. Feel free to use this network in your project or extend it in some way.
../misc/construction.html
galvanise-20170429 -
../misc/construction.html
galvanise-v2 -
../misc/construction.html
galvanise-zero-20190310 -
../misc/construction.html
gambit-14.1.1 -
../misc/construction.html
gambit-16.0.1 -
../misc/construction.html
gamer-2.0 -
../misc/construction.html
gappa-0.18.0 -
../misc/construction.html
gappa-1.0.0 -
../misc/construction.html
gappa-1.1.2 -
../misc/construction.html
gappa-1.2.2 -
../misc/construction.html
gappa-1.3.3 -
../misc/construction.html
gappalib-coq-1.0.0 -
../misc/construction.html
gappalib-coq-1.1.0 -
../misc/construction.html
gappalib-coq-1.2.1 -
../misc/construction.html
gappalib-coq-1.3.4 -
../misc/construction.html
gappalib-coq-1.4.0 -
../misc/construction.html
garden-state-20080306 -
../misc/construction.html
garnet-20130614 -
../misc/construction.html
gate-2.1 -
GATE is a tool for: * scientists performing experiments that involve processing human language. GATE is funded by the EPSRC and the EU.
../misc/construction.html
gate-20100222 -
../misc/construction.html
gate-4.0 -
../misc/construction.html
gate-5.0 -
../misc/construction.html
gate-7.1 -
../misc/construction.html
gate-8.1-build5169-all -
../misc/construction.html
gate-8.1-build5169-installer -
../misc/construction.html
gateway-20190617 -
../misc/construction.html
gc-098 -
Gutcheck is a command-line tool for finding problems in files for submission to Project Gutenberg.
../misc/construction.html
gc-lama-20160810 -
../misc/construction.html
gcodesemlinkerarchive-20150228 -
../misc/construction.html
gdep-beta1 -
../misc/construction.html
gdl-perf-20180423 -
This is a framework for testing the performance of Game Description Language (GDL) interpreters and reasoners used in General Game Playing. It allows for automatically running tests on a wide variety of reasoners across a wide variety of games, with minimal human intervention. It also supplies tools for analyzing the outputs of these tests.
../misc/construction.html
gekko-backtesttool-20190827 -
../misc/construction.html
gentoo-libbash-20190930 -
../misc/construction.html
geopoint-20190720 -
../misc/construction.html
gf-3.8.1 -
../misc/construction.html
ggp-base-20170302 -
Application Suite for the General Game Playing Project
../misc/construction.html
ggp-base-20170429 -
Application Suite for the General Game Playing Project
../misc/construction.html
ggp-base-master-20160204 -
Application Suite for the General Game Playing Project
../misc/construction.html
ggp-base-read-only-20120707 -
../misc/construction.html
ggp-botter-20180321 -
GGP-Botter is a GGP Bot framework written in SWI-Prolog. It provides an interface for communication with GGP Server, as well as some helper functions (TODO) which will come in handy when creating your own bot.
../misc/construction.html
ggp-botter-20190121 -
../misc/construction.html
ggp-botter-20190127 -
../misc/construction.html
ggp-botter-master-20160506 -
../misc/construction.html
ggp-zero-20180805 -
gzero provides a framework for neural networks to learn to play solely based on self-play. This is loosely based on the papers of AlphaZero and exIT, and a number of zero open source were greatly inspirational.
../misc/construction.html
ggpe-master-20160506 -
../misc/construction.html
ggplib-20180805 -
../misc/construction.html
gitrob-master-20160430 -
Gitrob is a command line tool which can help organizations and security professionals find sensitive information lingering in publicly available files on GitHub. The tool will iterate over all public organization and member repositories and match filenames against a range of patterns for files that typically contain sensitive or dangerous information.
../misc/construction.html
giza-pp-1.0.1 -
This package contains the GIZA++ toolkit and the mkcls tool, originally written by F.J. Och and several other authors.
../misc/construction.html
gkb-3.6 -
../misc/construction.html
gle-2.2.6 -
../misc/construction.html
glest-3.1.1 -
../misc/construction.html
glimpse-4.1 -
../misc/construction.html
globus-3.0.2 -
../misc/construction.html
glove.6b-20190516 -
../misc/construction.html
glulxe-0.3.5 -
../misc/construction.html
glulxe-0.5.2 -
the Glulx VM interpreter
../misc/construction.html
gma-2.1 -
../misc/construction.html
gmb-2.1.0 -
../misc/construction.html
gnosis-utils-current-20111010 -
Gnosis Utilities contains several subpackages for working with XML, as well as other generally useful tools. The major modules are: gnosis.indexer (Full-text indexing/searching) gnosis.xml.pickle (XML pickling of Python objects) gnosis.xml.objectify (Any XML to "native" Python objects) gnosis.xml.validity (Enforce validity constraints) gnosis.xml.relax (Tools for working with RelaxNG) gnosis.xml.indexer (XPATH indexing of XML documents) [...].convert.txt2html (Convert ASCII source files to HTML) gnosis.util.dtd2sql (DTD -> SQL 'CREATE TABLE' statements) gnosis.util.sql2dtd (SQL query -> DTD for query results) gnosis.util.xml2sql (XML -> SQL 'INSERT INTO' statements) gnosis.util.combinators (Combinatorial higher-order functions) gnosis.util.introspect (Introspect Python objects) gnosis.magic (Multimethods, metaclasses, etc)
../misc/construction.html
gnowsis-0.9.3 -
../misc/construction.html
gnugo-3.9.1 -
Jago, like CGoban is a client capable of providing GNU Go with a graphical user interface. Unlike CGoban, it does not require X Window System, so it is an attractive alternative under Windows. You will need a Java Runtime Environment. Obtain Jago at http://www.rene-grothmann.de/jago and follow the links there for the Java Runtime Environment.
../misc/construction.html
gnutrition-0.3 -
This is version 0.3 of GNUTRITION, a recipe and food nutritional analysis application for GNOME.
../misc/construction.html
gnututor-0.1 -
../misc/construction.html
go-vncdriver-20171120 -
A fast VNC driver.
../misc/construction.html
gold-0.2.20050610 -
../misc/construction.html
gold-0.45 -
../misc/construction.html
golog-swi-20130920 -
../misc/construction.html
golorp-0.0.1 -
Welcome to Caves of Golorp, to my knowledge the only Prolog Roguelike game in existence. This is an alpha release.
../misc/construction.html
google-calendar-java-api-20161230 -
Assembly for the Google APIs Client Library for Java 1.22.0
../misc/construction.html
google-image-downloader-20181007 -
Script to download/scrape images from google
../misc/construction.html
gorgiasb-1.4.5 -
../misc/construction.html
gost-20100523 -
../misc/construction.html
gost-lwb-20100523 -
../misc/construction.html
gost-tancs-20100523 -
../misc/construction.html
gourmet-0.1 -
../misc/construction.html
gourmet-0.13.7 -
../misc/construction.html
gourmet-0.13.8 -
../misc/construction.html
gourmet-0.7.1 -
../misc/construction.html
gourmet-20040912 -
../misc/construction.html
govtrack-1.0 -
../misc/construction.html
gposttl-0.9.1 -
../misc/construction.html
gpt-2 -
../misc/construction.html
gpt-2-output-dataset -
../misc/construction.html
gpt2-20190716 -
../misc/construction.html
gpuexplore-2 -
../misc/construction.html
graclus-1.2 -
../misc/construction.html
gradle-3.2.1 -
../misc/construction.html
gradle-3.3-rc-1-bin -
../misc/construction.html
gramophone-2.0.7 -
../misc/construction.html
grecipe-manager-0.13.7 -
../misc/construction.html
grecipe-manager-0.8.4.4 -
../misc/construction.html
greenstone-2.81 -
../misc/construction.html
greenstone-3.03 -
../misc/construction.html
gringo-4.5.4 -
../misc/construction.html
gspy-0.1.5 -
../misc/construction.html
gtar-3.0.3 -
../misc/construction.html
gvgai-20170429 -
../misc/construction.html
gwsd-1.0 -
GWSD is a system for Unsupervised Graph-based All-Words Word Sense Disambiguation. Please refer to (Sinha and Mihalcea, 2007) for a description of the graph-based disambiguation method, as well as for brief descriptions of all the similarity measures and the graph-centrality algorithms used by GWSD.
../misc/construction.html
gzero-data-20180805 -
../misc/construction.html
gzero-games-20180805 -
../misc/construction.html
halo-20030527 -
Project Halo is a staged research effort by Vulcan Inc. towards the development of a Digital Aristotle. The Digital Aristotle will differentiate itself from current search engine technology in a number of important ways. It is capable of answering questions for which text currently does not exist in some document. The Digital Aristotles ability to produce user and domain appropriate justifications will promote the end user s trust that the answers generated by the application are indeed correct.
../misc/construction.html
halogen-20020501 -
HALogen symbolic generator: Irene Langkilde-Geary and Kevin Knight
../misc/construction.html
halogen-20080317 -
../misc/construction.html
halogen-20100208 -
../misc/construction.html
hand-tailored-forms-20100523 -
../misc/construction.html
handwritingrecognitionsystem-20181121 -
../misc/construction.html
harvest-1.9.11 -
../misc/construction.html
hat-0.1 -
../misc/construction.html
haz-uambat-afd33d8ef811 -
This project aims to serve as mechanism for converting between various action theory formalisms. Possible uses include, but are not limited to, 1. Translation between the supported formalisms (e.g., GDL <-> PDDL) 2. Analysis / simplification of actions (e.g., adding or removing preconditions and effects) 3. Combining formalisms (e.g., mixing GDL and SitCalc for solving with planners) 4. Analysis in target languages (e.g., convert to PDDL, use planner preprocess, then convert back) 5. Visualizing the semantic interpretation of a proposed action schema (e.g., cool figures!)
../misc/construction.html
hdose-mo-1.6 -
../misc/construction.html
hdrug-src-4.333 -
../misc/construction.html
hdrug-x86-4.334 -
Hdrug is an environment to develop logic grammars / parsers / generators for natural languages. The package requires SICStus Prolog version 3, and the Tcl/Tk libraries.
../misc/construction.html
helloworldenvironment-20190522 -
../misc/construction.html
hgdbdist-1.3 -
HyperGraphDB is an innovative database management system geared towards the complexities and open-endedness of modern, data intensive information systems, in particular the semantic web, artificial intelligence, networks research and object-orientation. It combines concepts and features of several of the major data management paradigms, including graph-oriented and its cousin object-oriented DBMS as well as the relational model.
../misc/construction.html
hgen-forms-20100523 -
../misc/construction.html
hipaa-20180228 -
../misc/construction.html
hive-odbc-native-1.3.19 -
../misc/construction.html
hive-odbc-native-1.4.8 -
../misc/construction.html
hive-odbc-native-2.0.0 -
../misc/construction.html
hlbl-embeddings-scaled.embedding-size50.txt -
../misc/construction.html
hmm-citation-extractor-20080702 -
../misc/construction.html
hms-scrubber-1 -
../misc/construction.html
hockenmaiersteedmanlrec-2002 -
../misc/construction.html
hol-20190726 -
../misc/construction.html
hol-4 -
../misc/construction.html
hol-omega-kananaskis-5 -
This is the distribution directory for the Kananaskis release of HOL-Omega. The following is a brief listing of what's available.
../misc/construction.html
homelessexpertsystem-20181024 -
../misc/construction.html
hooryszeider05-20181124 -
../misc/construction.html
hs100-20170731 -
Script to connect over TCP/IP to an hs100/hs110 smart plug, switch it on and off and query status information.
../misc/construction.html
hsps-20170705 -
../misc/construction.html
htn-translation-20170701 -
HTNTranslation is a program for translating [Hierarchical Task Network](http://www.aaai.org/Papers/AAAI/1994/AAAI94-173.pdf) problems into [PDDL](http://www.jair.org/media/1129/live-1129-2132-jair.pdf). This is an extension of the work described in "[Translating HTNs to PDDL](http://www.umiacs.umd.edu/publications/translating-htns-pddl-small-amount-domain-knowledge-can-go-long-way)," handling both totally ordered and partially ordered subtasks.
../misc/construction.html
icarus-3.0 -
../misc/construction.html
ice-20180710 -
Idiom, Collocation Extractor
../misc/construction.html
idiet-1.0.2 -
../misc/construction.html
idp-0.0.4 -
../misc/construction.html
ig-oaa-20150126 -
../misc/construction.html
igor-2.0.8 -
Igor2 is an inductive programming system, which generalises over given I/O examples of some target functions and constructs a solution which is complete and correct w.r.t the given examples. Given the type and some equations of e.g. the function 'last' as Haskell code last :: [a] -> a last [a] = a last [a,b] = b last [a,b,c] = c following function definition is synthesised: last [x0] = x0 last (x0:x1:x2) = last (x1:x2)
../misc/construction.html
igor-2.2 -
../misc/construction.html
iim-20050107 -
../misc/construction.html
ijcai-09-benchmarks -
../misc/construction.html
ilfwn-20110820 -
ILF-WN provides a structured annotation of every gloss in terms of their Part of Speech (POS), syntactic analysis using a dependency parser, and the result of transforming the syntax into an Intermediate Logic Form (ILF). The "intermediate" character comes from the fact that rather than generating a semantic representation in first-order logic (or other type of standard logic), we provide a formal representation that aims to be as close as possible to natural language by performing extreme neo-davidsonian reification and reducing to a mininum the syntax complexity of the formalism. The main idea is to provide a flat, sintactically simple formal representation suitable to perform various types of semantic inference (e.g., as in textual entailment), avoiding excessive brittleness caused by first-order approaches, as well as being able to tackle difficult semantic problems such as coreference, anaphora resolution, etc. ILF may also be further specified if we were interested in dealing with quantification and other semantic phenomena.
../misc/construction.html
ilias-lt4el-m30 -
../misc/construction.html
illness-index-2015.04 -
illness index - A Computer Program of a Medical Textbook of General Practice
../misc/construction.html
im2latex-dataset-20181202 -
../misc/construction.html
im2markup-20170611 -
A general-purpose, deep learning-based system to decompile an image into presentational markup. For example, we can infer the LaTeX or HTML source from a rendered image.
../misc/construction.html
imagematting-0.1 -
Image segmentation tools aim at providing a designer with a scissor-like tool for cutting out objects from the background. Clear cuts can be found for all objects which are clearly separated from their environment. However, for objects with fuzzy borders and semi-transparent areas, there is not clear outline. The pixels showing those objects are usually a mixture of a foreground- and background color.
../misc/construction.html
imagoide-0.9.9 -
../misc/construction.html
imhs-1.0 -
../misc/construction.html
imis-20081031 -
../misc/construction.html
implie-20160616 -
IMPLIE (IMPLicit relation Information Extraction) is a program that extracts binary relations from English sentences where the relationship between the two entities is not explicitly stated in the text. IMPLIE supports the following target relations out-of-the-box: *has nationality*, *has job title*, *has province*, *has city*, and *has religion*. However, other relations can be supported by providing a list of keywords for a new target relations. This is possible because IMPLIE uses a target independent syntactic language model.
../misc/construction.html
imps-2.0 -
IMPS is an Interactive Mathematical Proof System developed at The MITRE Corporation.
../misc/construction.html
indexwiki-2013 -
../misc/construction.html
indri-2.7 -
UIMA Indri Components
../misc/construction.html
induction-1.4.0 -
../misc/construction.html
indywiki-0.9.7 -
../misc/construction.html
inference-20080216 -
../misc/construction.html
inference-web-20160716 -
../misc/construction.html
infinite-chess-20180923 -
../misc/construction.html
infomap-nlp-0.8.6 -
../misc/construction.html
inform-combat-system-20180923 -
../misc/construction.html
information-extraction-system-20180625 -
A software solution to extract structured information from résumés using conditional random fields. This project was created for the CS3072 Final Year Project module at Brunel University London in the academic year 2016 - 2017.
../misc/construction.html
inftyreader-e287 -
../misc/construction.html
inftyreader-year-e287 -
../misc/construction.html
insight3d-linux-20140815 -
../misc/construction.html
instances-20140509 -
../misc/construction.html
instinct-server-20190108 -
../misc/construction.html
interactive-help-agent-20090215 -
../misc/construction.html
irate-0.5 -
../misc/construction.html
irexfinalb-20080702 -
../misc/construction.html
itsimple-3.5.10 -
itSIMPLE: Integrated Tools Software Interface for Modeling PLanning Environments
../misc/construction.html
itsimple4.0-beta3 -
itSIMPLE: Integrated Tools Software Interface for Modeling PLanning Environments
../misc/construction.html
iulib-0.3 -
../misc/construction.html
ix-3.2 -
../misc/construction.html
j8-friendly-cyc-runner-20150216 -
../misc/construction.html
jaca-android-20111126 -
../misc/construction.html
jacamo-0.5 -
../misc/construction.html
jack-rack-1.4.7 -
JACK Rack is a LADSPA effects rack for the JACK audio API. It uses GTK+ 2 (and optionally GNOME 2) for the GUI. LADSPA version 1.1 is needed. In order to save rack configurations, libxml2 is needed.
../misc/construction.html
jade-20110930 -
../misc/construction.html
jadex-2.0-rc10 -
../misc/construction.html
jadex-android-0.0.1 -
../misc/construction.html
jadex-android-example-projects-20111001 -
../misc/construction.html
jahob-20141123 -
../misc/construction.html
jam-20011101 -
../misc/construction.html
jane16sentiment-1.0 -
../misc/construction.html
jangada-20080217 -
../misc/construction.html
jason-1.3.5 -
Jason is an interpreter for an extended version of AgentSpeak. It implements the operational semantics of that language, and provides a platform for the development of multi-agent systems, with many user-customisable features. Jason is available as Open Source, and is distributed under GNU LGPL.
../misc/construction.html
jason-1.3.6a -
Jason is an interpreter for an extended version of AgentSpeak. It implements the operational semantics of that language, and provides a platform for the development of multi-agent systems, with many user-customisable features. Jason is available as Open Source, and is distributed under GNU LGPL.
../misc/construction.html
jason-2.3 -
../misc/construction.html
jason-2.4 -
../misc/construction.html
jason-20180913 -
Jason is an interpreter for an extended version of AgentSpeak. It implements the operational semantics of that language, and provides a platform for the development of multi-agent systems, with many user-customisable features. Jason is available as Open Source, and is distributed under GNU LGPL.
../misc/construction.html
jason-20190518 -
../misc/construction.html
jason-examples-20111120 -
../misc/construction.html
jasonrescue-20120421 -
../misc/construction.html
javarap-1.11 -
../misc/construction.html
jbialpha-0.3.5 -
../misc/construction.html
jboss-3.0.4 -
../misc/construction.html
jdalmas-20100605 -
../misc/construction.html
jena-2.6.3 -
../misc/construction.html
jfex-1.0 -
../misc/construction.html
jlanguagetool-20100208 -
../misc/construction.html
jlsi-1.0 -
../misc/construction.html
joint-ere-release-20160505 -
../misc/construction.html
joomla-1.5.9 -
../misc/construction.html
jphoto-0.3.6 -
../misc/construction.html
jsms-1.0 -
../misc/construction.html
jsp-jade-jason-20190516 -
../misc/construction.html
jsre-1.1 -
../misc/construction.html
jtp-comp-20111012 -
../misc/construction.html
jwnl-14 -
../misc/construction.html
k-vec-20091010 -
../misc/construction.html
kacmbp-20160811 -
../misc/construction.html
kaldi-20170703 -
Kaldi Speech Recognition Toolkit
../misc/construction.html
kansas-lava-0.2.4 -
../misc/construction.html
kaon-1.2.7 -
../misc/construction.html
kaon-20040407 -
../misc/construction.html
kbptoolkit-1.5.0 -
The toolkit implemented two main tasks defined in KBP 2010: entity linking (for each entity name, determine which knowledge base entry it refers to or if it is not present in the knowledge base) and slot filling (for each entity name, extract pre-defined attributes from large-scale corpus, e.g., person: title, organization: founded_by).
../misc/construction.html
kbptoolkit-cuny-20140515 -
This toolkit is to provide KBP2010 participants with a light weighted tool for retrieving relevant documents given a query of person, organization or gpe. This toolkit is especially helpful for human annotators who work on slot filling in which they should locate the sentences where a given entity appears in a large corpus.
../misc/construction.html
kbptoolkit-data-20120603 -
../misc/construction.html
kea-5.0 -
../misc/construction.html
keep-alive-20150216 -
../misc/construction.html
kerkerkruip-20180923 -
Kerkerkruip is a short-form roguelike in the interactive fiction medium, featuring meaningful tactical and strategic depth, innovative game play, zero grinding, and a sword & sorcery setting that does not rehash tired clichés.
../misc/construction.html
keygraph-2.1 -
../misc/construction.html
keygraph-2.2 -
../misc/construction.html
keywordextract-20100825 -
../misc/construction.html
kim-1.7.12 -
../misc/construction.html
kml-20080701 -
../misc/construction.html
kmovisto-0.6.1 -
../misc/construction.html
knext-10.4 -
../misc/construction.html
kobdig-20190201 -
../misc/construction.html
landmark-based-goalrecognition-20190405 -
../misc/construction.html
language-learning-20190812 -
../misc/construction.html
languagetool-0.8.4 -
../misc/construction.html
larkc-3.0 -
../misc/construction.html
las-2 -
../misc/construction.html
lasie-20081024 -
../misc/construction.html
latexifier-0.1 -
../misc/construction.html
lbj-20081127 -
../misc/construction.html
lbjcoref-20081126 -
../misc/construction.html
lbjnertagger-1.2 -
../misc/construction.html
lbtt-1.2.1 -
../misc/construction.html
ld41-20190419 -
../misc/construction.html
learner-0.3 -
../misc/construction.html
learner-20080217 -
../misc/construction.html
leila-20080703 -
../misc/construction.html
lemur-2.0 -
../misc/construction.html
lemur-4.7 -
UIMA Indri Components
../misc/construction.html
leo-iii-1.0 -
*A massively parallel higher-order theorem prover* In the Leo-III project, we design and implement a state-of-the-art Higher-Order Logic Theorem Prover, the successor of the well known LEO-II prover [[2](http://dx.doi.org/10.1007/978-3-540-71070-7_14)]. Leo-III will be based on ordered paramodulation/superposition. In constrast to LEO-II, we replace the internal term representation (the commonly used simply typed lambda-calculus) by a more expressive system supporting type polymorphism. In order to achieve a substantial performance speed-up, the architecture of Leo-III will be based on massive parallelism (e.g. And/Or-Parallelism, Multisearch) [[3](http://dx.doi.org/10.1023/A:1018932114059)]. The current design is a multi-agent blackboard architecture that will allow to independently run agents with our proof calculus as well as agents for external (specialized) provers. Leo-III will focus right from the start on compatibility to the widely used TPTP infrastructure [[8](http://dx.doi.org/10.1007/s10817-009-9143-8)]. Moreover, it will offer built-in support for specialized external prover agents and provide external interfaces to interactive provers such as Isabelle/HOL [[5](http://dx.doi.org/10.1007/3-540-45949-9)]. The implementation will excessively use term sharing [[6](http://dl.acm.org/citation.cfm?id=1218621), [7](http://dl.acm.org/citation.cfm?id=1218620)] and several indexing techniques [[4](dx.doi.org/10.1007/3-540-45744-5_19), [9](dx.doi.org/10.1007/978-3-540-71070-7_14)]. Leo-III will also offer special support for reasoning in various quantified non-classical logics by exploiting a semantic embedding [[1](dx.doi.org/10.5220/0004324803460351)] approach.
../misc/construction.html
leo2-1.6.2 -
../misc/construction.html
lexchains-20091010 -
../misc/construction.html
liarliar-0.5.2 -
../misc/construction.html
libiconv-1.13.1 -
../misc/construction.html
lifenet-0.2 -
../misc/construction.html
lightside-20190602 -
../misc/construction.html
lillybot-0.1 -
Lillybot is an OpenCyc-based irc chatbot. It implements a very simple reasoning engine that works with the OpenCyc ontology, and hooks it to a natural-language parser. It can answer simple english questions with small simple-english replies.
../misc/construction.html
limboole-0.2 -
../misc/construction.html
limboole1.1-20181124 -
../misc/construction.html
lingpipe-3.5.1 -
../misc/construction.html
lingpipe-3.7.0 -
../misc/construction.html
lingpipe-models-20080706 -
../misc/construction.html
linguist-20180630 -
An AI running on [NuPIC](https://github.com/numenta/nupic) using the CLA to build a model of language, and predict the rest of a user's word, phrase, sentence. The current application works as a "story teller", it'll train on a dataset you give it and then produce a story for you. You can specify number of sentences the story should have and the starting words to kick it off (for example, "There were two brothers").
../misc/construction.html
link-grammar-4.0 -
../misc/construction.html
link-grammar-4.3.4 -
../misc/construction.html
link-grammar-4.4.2 -
../misc/construction.html
linkipedia-20160505 -
../misc/construction.html
linnaeus-1.5 -
../misc/construction.html
linqs-20091010 -
../misc/construction.html
lll-05 -
../misc/construction.html
lm-giga-20081113 -
../misc/construction.html
logicmoo-20030627 -
../misc/construction.html
logicmoo-20141002 -
../misc/construction.html
logicmoo-20150704 -
../misc/construction.html
logon-20190313 -
../misc/construction.html
logtalk-3.09.0 -
../misc/construction.html
lore-5.0 -
../misc/construction.html
lparse-1.1.2 -
Lparse is a front end for smodels system, that takes a domain-restricted logic program as its input and produces a ground logic program as its output. This program is distributed under GNU Public Licence, see file COPYING for details.
../misc/construction.html
lpca-20100107 -
../misc/construction.html
lpg-1.0 -
../misc/construction.html
lpg-1.2 -
LPG (Local Search for Planing Graphs) is a fully automated planner for planning problems specified using PDDL2.1.
../misc/construction.html
lpkb-20090216 -
../misc/construction.html
lsdsem2017-story-cloze-20180520 -
This repository contains the code needed to reproduce the results reported in Bugert et al., *LSDSem 2017: Exploring Data Generation Methods for the Story Cloze Test*. The Story Cloze test is a recent effort in providing a common test scenario for text understanding systems. As part of the LSDSem 2017 shared task, we present a system based on a deep learning architecture combined with a rich set of manually-crafted linguistic features. The system outperforms all known baselines for the task, suggesting that the chosen approach is promising. We additionally present two methods for generating further training data based on stories from the ROCStories corpus.
../misc/construction.html
lt4el-1.m30 -
../misc/construction.html
lth-labeler-20160309 -
../misc/construction.html
ltl2dstar-0.5.4 -
../misc/construction.html
ltsmin-2.1 -
LTSmin started out as a generic toolset for manipulating labelled transition systems. Meanwhile the toolset was extended to a a full (LTL/CTL) model checker, while maintaining its language-independent characteristics.
../misc/construction.html
lua-signal-20180804 -
This is a signal library for Lua 5.1. It depends on ANSI C signals and has some extensions that are available in POSIX, such as kill().
../misc/construction.html
lucene-7.5.0 -
Lucene is a Java full-text search engine. Lucene is not a complete application, but rather a code library and API that can easily be used to add search capabilities to applications.
../misc/construction.html
lucida-20171127 -
Lucida is a speech and vision based intelligent personal assistant inspired by [Sirius](http://sirius.clarity-lab.org). Visit [our website](http://lucida.ai) for tutorial, and [Lucida-users](http://groups.google.com/forum/ #!forum/lucida-users) for help. The project is released under [BSD license](LICENSE), except certain submodules contain their own specific licensing information. We would love to have your help on improving Lucida, and see [CONTRIBUTING](CONTRIBUTING.md) for more details.
../misc/construction.html
lucqe-20081020 -
../misc/construction.html
ma-prp-20180730 -
Planner: PRP -- (P)lanner for (R)elevant (P)olicies
../misc/construction.html
ma-prp-49144497618f -
Planner: PRP -- (P)lanner for (R)elevant (P)olicies
../misc/construction.html
machinetta-20031215 -
../misc/construction.html
madlaplanner-20170227 -
../misc/construction.html
magic-1.0 -
../misc/construction.html
magicexceller-0.2.1 -
../misc/construction.html
magichaskeller-0.9.1 -
../misc/construction.html
mainactor-5.5.19 -
../misc/construction.html
maita-20090217 -
../misc/construction.html
mallet-0.4 -
../misc/construction.html
mallet-2.0.5 -
../misc/construction.html
mallet-2.0.8 -
MALLET is a Java-based package for statistical natural language processing, document classification, clustering, topic modeling, information extraction, and other machine learning applications to text.
../misc/construction.html
maltparser-1.7 -
../misc/construction.html
maltparser-1.7.2 -
../misc/construction.html
maplan-20170227 -
../misc/construction.html
margo-1.1 -
MARGO -- A Multiattribute ARGumentation framework for Opinion explanation.
../misc/construction.html
margo-20120715 -
MARGO -- A Multiattribute ARGumentation framework for Opinion explanation.
../misc/construction.html
mary-3.6.0 -
../misc/construction.html
massim-2016-1.3.2 -
../misc/construction.html
mat2vec-20190706 -
../misc/construction.html
mathnat-1.0 -
../misc/construction.html
matlab-simulink-rtl-sdr-20170616 -
../misc/construction.html
mavis-20180907 -
../misc/construction.html
maxplan-20071231 -
../misc/construction.html
maxtract-20140201 -
A command line tool that reads a PDF and returns different formats. Tool is written in Ocaml and uses the pdftk for decompressingg the PDF file.
../misc/construction.html
maxview-0.5 -
../misc/construction.html
mbp-1.01 -
../misc/construction.html
mc-aixi-20170705 -
This software package consists of a simple implementation of MC-AIXI-CTW, an intelligent agent that learns from experience how to perform well in a wide variety of environments. This includes, but is not limited to the example games provided in this package, such as Tic Tac Toe, Pacman, and Kuhn Poker.
../misc/construction.html
mc-aixi-20180101 -
../misc/construction.html
mcapl-20190326 -
../misc/construction.html
mcrl-2.18.5 -
../misc/construction.html
mctk-1.0.0 -
../misc/construction.html
mdr-20080713 -
../misc/construction.html
mead-3.0.7 -
../misc/construction.html
mead-3.11 -
../misc/construction.html
mead-3.12 -
../misc/construction.html
medpost-20080810 -
../misc/construction.html
mepk-20170808 -
Code of IJCAI2017: "A General Multi-agent Epistemic Planner Based on Higher-order Belief Change".
../misc/construction.html
mepk-20190304 -
../misc/construction.html
metamoc-models-wcet201-0.01.06 -
../misc/construction.html
metamoc-r1230 -
../misc/construction.html
metasploit-20111214 -
../misc/construction.html
metatem-0.2.2 -
../misc/construction.html
meteor-0.6 -
METEOR is a system that automatically evaluates the output of machine
../misc/construction.html
metric-ff-2.1 -
../misc/construction.html
mibanda-20170510 -
This is a pure Python library to access the Xiaomi Mi Band. It uses
../misc/construction.html
microchef-20080913 -
../misc/construction.html
midiki-0.1.3 -
../misc/construction.html
mimlre-2012-11-27.tar.bz2 -
../misc/construction.html
mincutseg-20071226 -
This package contains the source code and binaries for the Minimum Cut text segmentation system, described in the following publication: Igor Malioutov, Regina Barzilay. Minimum Cut Model for Spoken Lecture Segmentation. In Proceedings of COLING-ACL 2006, pp. 9-16.
../misc/construction.html
mindigolog-2.0.9 -
This is a MIndiGolog interpreter implemented using Mozart/Oz. It was developed as part of Ryan Kelly's PhD thesis "Asynchronous Multi-Agent Reasoning in the Situation Calculus". Further details are available at:
../misc/construction.html
mindigolog1-0.9.9 -
../misc/construction.html
mindigolog2-0.9.9 -
This is a MIndiGolog interpreter implemented using Mozart/Oz. It was developed as part of Ryan Kelly's PhD thesis "Asynchronous Multi-Agent Reasoning in the Situation Calculus". Further details are available at:
../misc/construction.html
mindraider-0.512 -
../misc/construction.html
minipar-0.5 -
MINIPAR is a broad-coverage parser for the English language. An evaluation with the SUSANNE corpus shows that MINIPAR achieves about 88% precision and 80% recall with respect to dependency relationships. MINIPAR is very efficient, on a Pentium II 300 with 128MB memory, it parses about 300 words per second.
../misc/construction.html
minisat-2.2.0 -
../misc/construction.html
minix-r-3.2.0 -
../misc/construction.html
minorthird-20040720 -
../misc/construction.html
minorthird-20080611 -
../misc/construction.html
mips-bdd-64 -
../misc/construction.html
mips-xxl-20070123 -
../misc/construction.html
misterhouse-2.99 -
../misc/construction.html
mistral-1.1 -
../misc/construction.html
mizar-6.4.02 -
../misc/construction.html
mizar-8.1.0-8.5.50 -
../misc/construction.html
mizar-8.1.0.3.5.23.1213 -
../misc/construction.html
mizar-8.1.05_5.37.1275 -
../misc/construction.html
mizarmode-20141121 -
symbol browsing and searching in Mizar articles
../misc/construction.html
mleantap13-swi-20180517 -
../misc/construction.html
mltp-20100523 -
../misc/construction.html
mmsecondquestion-1.0 -
../misc/construction.html
mnm-2.1 -
../misc/construction.html
moby-20081028 -
../misc/construction.html
moby-20091010 -
../misc/construction.html
modlean-source-code-20100523 -
../misc/construction.html
molle-1.0 -
../misc/construction.html
molog-20180517 -
../misc/construction.html
moltap-0.2 -
../misc/construction.html
montague-20170112 -
../misc/construction.html
montylingua-2.1 -
../misc/construction.html
moscow-ml-2.0 -
../misc/construction.html
moscow-ml-2.01 -
../misc/construction.html
moses-0.1 -
../misc/construction.html
moses-2007-05-29 -
../misc/construction.html
mosesdecoder-20180617 -
../misc/construction.html
mozart-1.4.0 -
../misc/construction.html
mpich-1.2.6 -
Portable MPI Model Implementation
../misc/construction.html
mprolog-2.0 -
../misc/construction.html
mrsbs-1.1 -
MRSBS is a system for coordinating the scheduling of meetings.
../misc/construction.html
msrte-20080220 -
This archive contains encoded versions of the logical-form structures for the RTE2005 development and test dat sets. These structures were used in the following paper, and we are making them available to aid others in reproducing the results presented
../misc/construction.html
mstparser-0.4.3 -
../misc/construction.html
mulgara-2.0.8 -
../misc/construction.html
mulgara-2.1.1 -
../misc/construction.html
multiagent-20121225 -
../misc/construction.html
mulval-1.1 -
../misc/construction.html
mulval-20190510 -
../misc/construction.html
murphi3.1-20181124 -
../misc/construction.html
mustru-0.2 -
This is the first release of Mustru (Version 0.1). It is a Question & Answer search engine for the Desktop based on other open source software including Lucene, (http://lucene.apache.org), WordNet (http://wordnet.princeton.edu) Lingpipe (http://www.alias-i.com) and GATE (http://gate.ac.uk).
../misc/construction.html
mysql-connector-odbc-5.3.9 -
../misc/construction.html
nanosat-1.3 -
../misc/construction.html
narchy-20190131 -
../misc/construction.html
nclosemacs-ml-1.2 -
../misc/construction.html
nepomuklite-20150821 -
../misc/construction.html
netben-opt-gamer-1.0 -
Cost-optimal search for linear metrics with integer coefficients
../misc/construction.html
netben-opt-gamer-1.0a -
Cost-optimal search for linear metrics with integer coefficients
../misc/construction.html
netben-opt-gamer-1.0b -
Cost-optimal search for linear metrics with integer coefficients
../misc/construction.html
netben-opt-gamer-20120828 -
../misc/construction.html
netben-opt-gamer-32-1.0b -
Cost-optimal search for linear metrics with integer coefficients
../misc/construction.html
neural-style-20190610 -
../misc/construction.html
neuraltalk-master-20160416 -
../misc/construction.html
neuraltalk2-master-20160416 -
Recurrent Neural Network captions your images. Now much faster and better than the original [NeuralTalk](https://github.com/karpathy/neuraltalk). Compared to the original NeuralTalk this implementation is **batched, uses Torch, runs on a GPU, and supports CNN finetuning**. All of these together result in quite a large increase in training speed for the Language Model (~100x), but overall not as much because we also have to forward a VGGNet. However, overall very good models can be trained in 2-3 days, and they show a much better performance.
../misc/construction.html
nexpose-20111214 -
../misc/construction.html
next-0.82 -
../misc/construction.html
nextcheckbox-20190922 -
../misc/construction.html
nextkb-20190107 -
../misc/construction.html
nextkb-files-20190107 -
../misc/construction.html
nfact-20090218 -
../misc/construction.html
nl2sbvr-0.0.3 -
../misc/construction.html
nltk-0.9.7 -
../misc/construction.html
nombank-1.0 -
../misc/construction.html
notepad-asl-syntax-20190516 -
../misc/construction.html
nous-20190618 -
../misc/construction.html
nous-kg-20190618 -
../misc/construction.html
nqthm-2 -
The 1998 distribution of Nqthm-1992, the Boyer-Moore prover. This distribution of Nqthm corresponds to the second edition of the book `A Computational Logic Handbook', Boyer and Moore, Academic Press, 1998, ISBN 0-12-122955-6. That book provides a comprehensive user's manual for this distribution, including installation instructions, a definition of the logic for which Nqthm-1992 is a theorem prover, documentation of all the user commands, and short introductions to the hundreds of sample input files, which cover many areas of computing and mathematics.
../misc/construction.html
nuin-20060929 -
../misc/construction.html
nupic-20180630 -
The Numenta Platform for Intelligent Computing (**NuPIC**) is a machine intelligence platform that implements the [HTM learning algorithms](http://numenta.com/learn/hierarchical-temporal-memory-white-paper.html). HTM is a detailed computational theory of the neocortex. At the core of HTM are time-based continuous learning algorithms that store and recall spatial and temporal patterns. NuPIC is suited to a variety of problems, particularly anomaly detection and prediction of streaming data sources.
../misc/construction.html
nuprl-5 -
../misc/construction.html
nut-9.11 -
../misc/construction.html
nutcracker-1.0 -
../misc/construction.html
oaa-2.3.0a -
../misc/construction.html
oaa-2.3.2 -
../misc/construction.html
obs-compiler-20170330 -
../misc/construction.html
ocropus-0.1.1 -
OCRopus is a state-of-the-art document analysis and OCR system, featuring * pluggable layout analysis, * pluggable character recognition, * statistical natural language modeling and * multi-lingual capabilities. OCRopus development is sponsored by Google and is initially intended for high-throughput, high-volume document conversion efforts. We expect that it will also be an excellent OCR system for many other applications.
../misc/construction.html
ocropus-0.3.1 -
../misc/construction.html
odo-0.20 -
This is a pure Perl semantic web library that implements an RDF parser, RDQL, SPARQL query engine, persistent RDF datastore and an ontology framework for OWL and RDFS.
../misc/construction.html
oiled-3.5.7 -
../misc/construction.html
ollie-20160516 -
../misc/construction.html
ollie-app-latest-20130117 -
../misc/construction.html
omega-0.9.5 -
Our current effort is the OMEGA successor ontology by Eduard Hovy. Using DINOmega to view the OMEGA Ontology DINOmega is the name of the browser with which you can explore OMEGA. OMEGA is a 120. DINOmega is a reimpelementation of ONTOSAURUS. Which was built at ISI by Ramesh Patil and Tom Russ. Each node is OMEGA represents one concept. (Many words in English have many senses: "shoe" is the thing you wear on your foot. The concepts are linked in a straightforward IS-A hierarchy. The top of the ontology is OB-THING.
../misc/construction.html
omega-0.9.6 -
../misc/construction.html
omegawiki-20071125 -
../misc/construction.html
one-20071221 -
The current code contains some natural language utilities, most interestingly a hyperresolution engine for FOL without equality in Java. I have started porting the code to Scala. Future work will be done in Scala.
../misc/construction.html
ontea-0.8 -
../misc/construction.html
ontolingua-1.0 -
../misc/construction.html
ontologymapping-cmsv-1.1 -
../misc/construction.html
ontomathpro-20181007 -
The OntoMathPro ontology has been developed by a [research group](https://github.com/CLLKazan) from Kazan Federal University (Russia). This ontology is bilingual (English/Russian) and is geared to be the hub for math knowledge in the Web of Data. We shared the sources with the Semantic Web community to engage our colleagues from elsewhere in its further development. We are going to create an ecosystem of datasets and mashups around the ontology.
../misc/construction.html
ontomerge-20190518 -
../misc/construction.html
ontop-20160622 -
../misc/construction.html
opaal-0.2 -
../misc/construction.html
open-sesame-20190516 -
../misc/construction.html
open-sesame-20191016 -
../misc/construction.html
open-type-20180728 -
## Ultra-Fine Entity Typing #### Eusol Choi, Omer Levy, Yejin Choi and Luke Zettlemoyer. (ACL 2018) Project website: https://homes.cs.washington.edu/~eunsol/_site/open_entity.html
../misc/construction.html
openccg-20190905 -
../misc/construction.html
opencv-0.9.5 -
This library is mainly aimed at real time computer vision.
../misc/construction.html
opencv-2.0.0 -
../misc/construction.html
opencyc-0.7.0 -
../misc/construction.html
opencyc-1.0.2 -
../misc/construction.html
opencyc-2.0 -
../misc/construction.html
opencyc-4.0 -
../misc/construction.html
opencyc-fol-translation-1 -
../misc/construction.html
opendmap-1.0 -
../misc/construction.html
opendpi-20120715 -
OpenDPI is a software component for traffic classification based on deep packet inspection.
../misc/construction.html
openephyra-0.1.1 -
OpenEphyra Question Answering System
../misc/construction.html
openephyra-0.1.2 -
OpenEphyra Question Answering System
../misc/construction.html
openephyra-1.2 -
../misc/construction.html
openephyra-20170320 -
OpenEphyra Question Answering System
../misc/construction.html
openfst-beta-20080422 -
../misc/construction.html
opengazer-0.1.2 -
../misc/construction.html
opengazer-20100622 -
../misc/construction.html
openhalo-secondrev-20130929 -
../misc/construction.html
openie-20140225 -
../misc/construction.html
openiris-0.4 -
../misc/construction.html
openmatrex-0.98 -
../misc/construction.html
openmrs-20080711 -
../misc/construction.html
opennlp-0.9.0 -
The opennlp project is now the home of a set of java-based NLP tools which perform sentence detection, tokenization, pos-tagging, chunking and parsing, named-entity detection, and coreference.
../misc/construction.html
opennlp-1.4.2 -
../misc/construction.html
opennlp-tools-1.3.0 -
../misc/construction.html
openprs-1.0b13 -
../misc/construction.html
openrouteservice-py-20181001 -
The openrouteservice library gives you painless access to the openrouteservice_ (ORS) routing API's. It performs requests against our API's for - directions_ - `Pelias geocoding`_ - `Pelias reverse geocoding`_ - isochrones_ - `matrix routing calculations`_ - places_
../misc/construction.html
opensim4opencog-20160201 -
../misc/construction.html
opensubtitlesdownload-20170130 -
OpenSubtitlesDownload.py is a small Linux software written in python, built to help you **quickly find and download subtitles for your favorite videos**. It can be used as a nautilus script, or as a regular application working under GNOME or KDE desktop environments. You can also use it in full CLI mode (Command Line Interface) on your NAS, Raspberry Pi or wherever you want to bundle it really!
../misc/construction.html
openwifimap-api-20180923 -
OpenWiFiMap is a database and map for free network WiFi routers (freifunk and others, too!).
../misc/construction.html
openxencenter-102.20100226 -
../misc/construction.html
opinionfinder-1.4 -
OpinionFinder is a system that processes documents and automatically identifies subjective sentences as well as various aspects of subjectivity within sentences, including agents who are sources of opinion, direct subjective expressions and speech events, and sentiment expressions. It outputs files using inline SGML markup. The "Background" section gives a brief description of subjectivity, sources, direct subjective expressions and speech events, and sentiment expressions. The "READMEs" section lists other READMEs that are included with this system.
../misc/construction.html
opinionfinder-1.5 -
OpinionFinder is a system that processes documents and automatically identifies subjective sentences as well as various aspects of subjectivity within sentences, including agents who are sources of opinion, direct subjective expressions and speech events, and sentiment expressions. It outputs files using inline SGML markup. The "Background" section gives a brief description of subjectivity, sources, direct subjective expressions and speech events, and sentiment expressions. The "READMEs" section lists other READMEs that are included with this system.
../misc/construction.html
opinionfinder-2.0 -
OpinionFinder is a system that processes documents and automatically identifies subjective sentences and sentiment expressions. It outputs files using inline SGML markup. The "Background" section gives a brief description of subjectivity and sentiment expressions.
../misc/construction.html
oplan-3.3 -
../misc/construction.html
optic-20170706 -
This package contains OPTIC, a planner for use in problems where plan cost is determined by preferences or time-dependent goal-collection costs. For more details, see the paper "Temporal Planning with Preferences and Time-Dependent Continuous Costs", J. Benton, A. J. Coles, and A. I. Coles, ICAPS 2012.
../misc/construction.html
optic-20190825 -
../misc/construction.html
optic-clp-20170706 -
This package contains OPTIC, a planner for use in problems where plan cost is determined by preferences or time-dependent goal-collection costs. For more details, see the paper "Temporal Planning with Preferences and Time-Dependent Continuous Costs", J. Benton, A. J. Coles, and A. I. Coles, ICAPS 2012.
../misc/construction.html
optop-20190602 -
../misc/construction.html
ore-as-1.0 -
../misc/construction.html
org-brain-20190731 -
../misc/construction.html
oscar-20110807 -
../misc/construction.html
oskm-20091005 -
../misc/construction.html
osse-20100625 -
../misc/construction.html
ossmole-fm-nov-2007-2007 -
../misc/construction.html
ossmole-sf-oct-2007-2007 -
../misc/construction.html
otter-3.2 -
../misc/construction.html
otter-3.3 -
Ivy is a system that checks Otter proofs and MACE models. Ivy is coded in ACL2 and many soundness metatheorems have been proved about the various programs in Ivy. See
../misc/construction.html
otter-3.3f -
../misc/construction.html
outwit-hub-20180807 -
../misc/construction.html
overture-2.6.2 -
../misc/construction.html
owl-emacs-mode-20140219 -
../misc/construction.html
owlconverter-20120510 -
This is a perl script that will convert a DAML+OIL file to an OWL file. To use it, you must have perl and the CGI lib installed on your system. If you do not have CGI Lib on your system, instructions are provided below that will allow you to modify the script for your use.
../misc/construction.html
owlsmx-1.1 -
../misc/construction.html
oyster-3.1 -
Oyster is a working Open sourced, java-based entity resolution engine that is accessible as an instructional tool and has the ability to perform identity capture, identity resolution and identity management.
../misc/construction.html
packages-ltx2htm -
../misc/construction.html
palamedes-ide-20130902 -
../misc/construction.html
paradox2.3 -
../misc/construction.html
paraphrasing-20091010 -
../misc/construction.html
parma-20150831 -
../misc/construction.html
parscit-110505 -
../misc/construction.html
parser05aug16 -
../misc/construction.html
pattern-2.6 -
../misc/construction.html
pcapdiff-0.1 -
pcapdiff takes two pcap files (usually produced by running tcpdump, Wireshark, or a similar pcap-compatible packet capture program on two different computers) and compares them to find dropped and forged packets between the two machines. Required arguments are the filenames of the two pcap files and their associated IP addresses. Though pcapdiff uses "local" and "remote" to identify the two files, the processing should be symmetric -- that is, it is only required that the "local" pcap file be captured on the local network of the machine with the "local" IP address, and, correspondingly, that the "remote" pcap file be captured on the same network of the machine with the "remote" IP address.
../misc/construction.html
pccoder-20190510 -
../misc/construction.html
pclr-20100107 -
../misc/construction.html
pcsensor-0.0.1 -
../misc/construction.html
pcsolaris1552-20181124 -
../misc/construction.html
pcwin-15.5 -
../misc/construction.html
pddl-daml-translator-0.2 -
../misc/construction.html
pddl-prolog-parser-20160714 -
THIS is a collection of scripts that overwrites PDDL 3.0 files to prolog friendly syntax.
../misc/construction.html
pddl-studio-20130206 -
../misc/construction.html
pdk-20140312 -
../misc/construction.html
pdkb-0.3 -
../misc/construction.html
ped-0.1 -
../misc/construction.html
peleus-20140209 -
../misc/construction.html
pellet-1.5.1 -
Pellet is an open-source Java based OWL-DL reasoner. It can be used in conjunction with either Jena or OWL-API libraries. Pellet provides functionality to validate ontology species, check consistency of ontologies, classify the taxonomy, check entailments and answer SPARQL queries.
../misc/construction.html
perl-in-lisp-0.1 -
../misc/construction.html
perl-ldap-0.39 -
../misc/construction.html
perlbox-voice-0.08 -
../misc/construction.html
personality-recognizer-1.0.3 -
../misc/construction.html
personner-20080701 -
../misc/construction.html
petrarch-20150827 -
../misc/construction.html
pfc-20180310 -
../misc/construction.html
phenny-20071228 -
../misc/construction.html
phoenix-1.1 -
../misc/construction.html
phrag-1.5.0 -
../misc/construction.html
picard-1.2 -
../misc/construction.html
picosat-965 -
../misc/construction.html
pikes-all-20170221 -
../misc/construction.html
pino-20081020 -
../misc/construction.html
piranha-20180617 -
Piranha is a C++11-based computer algebra library for the manipulation of algebraic objects, such as polynomials and Poisson series, commonly encountered in celestial mechanics.
../misc/construction.html
piwik-20140214 -
../misc/construction.html
pknows-0.9.9 -
../misc/construction.html
pl-5.8.3 -
../misc/construction.html
pl-6.6.6 -
../misc/construction.html
plan-recognition-20170330 -
../misc/construction.html
planning-goalrecognition-20180519 -
Landmark-Based Approaches For Goal Recognition. - Goal Recognition Filter using Landmarks; - Goal Completion Heuristic; - Landmark Uniqueness Heuristic;
../misc/construction.html
plascolin-0.01.01 -
../misc/construction.html
plasma-linux-64bit-13.03 -
../misc/construction.html
plasmaebg-0.26.21 -
../misc/construction.html
plexil-300 -
../misc/construction.html
plopengl-0.6.2 -
plOpenGL is an open source project that aims to develop a complete cross-platform SWI-Prolog binding for the OpenGL, GLU and GLUT libraries.
../misc/construction.html
plopengl-20171204 -
plOpenGL is an open source project that aims to develop a complete cross-platform SWI-Prolog binding for the OpenGL, GLU and GLUT libraries.
../misc/construction.html
pltl12x3-20100523 -
../misc/construction.html
pltl12y3-20100523 -
../misc/construction.html
pltl5x3-20100523 -
../misc/construction.html
pltl5y3-20100523 -
../misc/construction.html
pmos-1.1.2153 -
../misc/construction.html
pmu3.0-alpha0.1 -
../misc/construction.html
pmvs-2 -
../misc/construction.html
pmvs-20170723 -
../misc/construction.html
pocketsphinx-0.5 -
../misc/construction.html
poem-0.6 -
../misc/construction.html
pokepong-20080311 -
You are reading this because you have obtained a Pokpong package, either in binary or source form. It is a game.
../misc/construction.html
pond-20160811 -
../misc/construction.html
popf-2.1 -
../misc/construction.html
popf2-201107 -
This directory contains the planner POPF2. The original incarnation of POPF is described in the ICAPS 2010 paper "Forward-Chaining Partial-Order Planning." by Amanda Coles, Andrew Coles, Maria Fox and Derek Long. This version extends POPF by introducing any-time search, allowing it to optimise solution quality.
../misc/construction.html
pow-2.0 -
../misc/construction.html
powaix-15.52 -
../misc/construction.html
poweranalysistool-20090217 -
../misc/construction.html
powerloom-3.0.1b -
../misc/construction.html
powerloom-4.0.10 -
PowerLoom is a reasoning engine that is intended to be integrated into some host application software somewhat similar to a database system. This is the main reason why it currently only ships with a command-line interface; however, we do have an experimental PowerLoom GUI which might also be released at some point.
../misc/construction.html
ppcg-2.0.16 -
../misc/construction.html
practionist-20190516 -
../misc/construction.html
precosat-465.02807a3.100208 -
../misc/construction.html
precosat-465r2.2ce82ba-100514 -
../misc/construction.html
precosat-570.239dbbe-100801 -
../misc/construction.html
precosat-576.7e5e66f-120112 -
../misc/construction.html
predictive-0.20.2 -
../misc/construction.html
princess-casc-bin-201-7.07.17 -
../misc/construction.html
prism-4.0.2 -
This is PRISM (Probabilistic Symbolic Model Checker).
../misc/construction.html
problog-20190119 -
../misc/construction.html
prod-260106 -
../misc/construction.html
prodigy-4 -
../misc/construction.html
prodigy-domains-20190514 -
../misc/construction.html
prodigy-latest-20170221 -
../misc/construction.html
prodigy-latest-20190514 -
../misc/construction.html
programk-20191020 -
../misc/construction.html
project-halo-20080702 -
../misc/construction.html
prolog-0.3.1 -
../misc/construction.html
prolog-aspects-20051214 -
../misc/construction.html
prolog-bdi-agent-20180224 -
../misc/construction.html
prolog-checkers-20190831 -
../misc/construction.html
prolog-pddl-3-0-parser-20140825 -
THIS is a collection of scripts that overwrites PDDL 3.0 files to prolog friendly syntax.
../misc/construction.html
prolog-pddl-3-0-planner-20140825 -
../misc/construction.html
prolog-planning-library-20140313 -
../misc/construction.html
prolog-snakes-20190316 -
../misc/construction.html
prolog-starter-code-20160208 -
The general game playing (GGP) starter code is a basic general game playing system (see http://www.general-game-playing.de for explanations) that only plays legal moves. It can be easily extended with an own strategy.
../misc/construction.html
prolog-yamltiny-master-20160504 -
A YAML subset parser for Prolog. The subset of YAML was partially taken from http://search.cpan.org/~adamk/YAML-Tiny-1.51/lib/YAML/Tiny.pm #YAML_TINY_SPECIFICATION
../misc/construction.html
prologmud-i7 -
../misc/construction.html
prologschedulerserver-20190310 -
../misc/construction.html
proofnumber-search-20190729 -
../misc/construction.html
propara-20180901 -
ProPara A repository of the state change prediction models used for evaluation in the __Tracking State Changes in Procedural Text: A Challenge Dataset and Models for Process Paragraph Comprehension__ paper accepted to NAACL'18. It contains two models built using the PyTorch-based deep-learning NLP library, [AllenNLP](http://allennlp.org/).
../misc/construction.html
propara-20190104 -
../misc/construction.html
propbank-1.7 -
../misc/construction.html
propbank-20170112 -
This directory contains the data of the UPenn Propbank. This data is collected as an additional layer of annotation on the Penn Treebank, representing the predicate argument structure of verbs. Below is a list of each file and a description of its contents.
../misc/construction.html
propbank-frames-20170112 -
../misc/construction.html
propbank-release-20170112 -
This repository contains two stand-off formats for Propbank data, standard Propbank ".prop" pointers (with stand-off annotations pointing to locations in the parse tree) and ".gold_skel" files, with each token replaced with ```[WORD]```. To use the data, you will have to acquire the corresponding Treebank releases from the LDC and run a conversion script (included) to replace those ```[WORD]``` instances with the real text, producing files similar to the CoNLL 2004/2005 SRL format.
../misc/construction.html
propernames-20080207 -
../misc/construction.html
protege-5.5.0 -
../misc/construction.html
pset-1.01 -
../misc/construction.html
psm-planner-20170227 -
../misc/construction.html
psmt-1.2 -
PSMT is an unsophisticated statistical machine translation program written in Prolog. It is available under the Lesser GNU Public Licence (LGPL) as free software. Statistical machine translation is used by Google for example, but while such systems are free to use, there is still a need for a translation system that is open and unmediated. A lot of research in statistical machine translation is undertaken by universities. However, so far only one system, Moses, which is still in development, promises to provide a complete set of training and decoding programs as open source software.
../misc/construction.html
psycholinguistics-datasets-20080312 -
../misc/construction.html
publicwhip-source-7 -
../misc/construction.html
puck-20180520 -
Puck is a high-speed, high-accuracy parser for natural languages. It's (currently) designed for use with grammars trained with the Berkeley Parser and on NVIDIA cards. On recent-ish NVIDIA cards (e.g. a GTX 680), around 400 sentences a second with a full Berkeley grammar for length <= 40 sentences.
../misc/construction.html
pvs-3.1 -
../misc/construction.html
pvslib-20170416 -
This version of the NASA PVS Library includes [Hypatheon](http://shemesh.larc.nasa.gov/people/bld/hypatheon.html). Hypatheon is a database utility that provides a capability for indexing PVS theories and making them searchable via a GUI client.
../misc/construction.html
pyextract-0.0.2 -
../misc/construction.html
pyke-1.1.1 -
../misc/construction.html
pypes-20100125 -
../misc/construction.html
pyrrhus-20171214 -
A value-optimizing planning system
../misc/construction.html
python-calais-1.4 -
../misc/construction.html
pytodoist-20170227 -
**PyTodoist** is a Python package for interacting with `Todoist `_. It hides the underlying API calls with higher-level abstractions that make it easy to use Todoist with Python.
../misc/construction.html
qall-me-20160613 -
../misc/construction.html
qanus-26012010 -
../misc/construction.html
qasrl-annotation-20181030 -
Generating Annotation Spreadsheet for QA-SRL Scheme
../misc/construction.html
qfsm-0.52.0 -
Qfsm is a graphical tool for designing finite state machine.
../misc/construction.html
qgrep-20190827 -
../misc/construction.html
qpos-0.2.2 -
../misc/construction.html
qttdf-20190405 -
../misc/construction.html
quantor-3.2 -
../misc/construction.html
quickcheck-swipl-0.2.3 -
../misc/construction.html
r6homeinventory-2.2 -
../misc/construction.html
racer-1.7.12 -
../misc/construction.html
racer-pro-20100127 -
../misc/construction.html
radare2-20170205 -
r2 is a rewrite from scratch of radare in order to provide a set of libraries and tools to work with binary files.
../misc/construction.html
rakudo-star-2010.07 -
../misc/construction.html
rapidminer-text-4.1 -
../misc/construction.html
rareqs-1.1 -
../misc/construction.html
rareqs-1.1.src -
../misc/construction.html
raw-1054.1 -
../misc/construction.html
rbsla-prebuilt-0.2 -
../misc/construction.html
rbt-1.14 -
../misc/construction.html
rcs-20060221 -
../misc/construction.html
rcyc-jrtl-cyc-sys10p129151-kb7142 -
../misc/construction.html
rdftm-poc-20090218 -
../misc/construction.html
rdr-public-20120421 -
../misc/construction.html
reactos-0.3.14 -
../misc/construction.html
reasonablepy-20140307 -
../misc/construction.html
reasonablepy-20140309 -
../misc/construction.html
reasonablepython-0.1.2 -
../misc/construction.html
reasoner-1.0.1 -
../misc/construction.html
rebel -
../misc/construction.html
receipt-parser-20180902 -
Updating your housekeeping book is a tedious task: You need to manually find the shop name, the date and the total from every receipt. Then you need to write it down. At the end you want to calculate a sum of all bills. Nasty. So why not let a machine do it?
../misc/construction.html
receipt-recognition-20190128 -
../misc/construction.html
recipe-interpretation-20190905 -
../misc/construction.html
reconcile-20100208 -
../misc/construction.html
recorder-20190103 -
../misc/construction.html
redshift-1.12 -
../misc/construction.html
refiner-20170826 -
../misc/construction.html
relationfactory-20140521 -
RelationFactory is a relation extraction and knowledge-base population system. It was the top-ranked system in TAC KBP 2013 English Slot-filling (http://www.nist.gov/tac/2013/KBP/index.html). If you want to use RelationFactory in a TAC benchmark, please contact the authors (see LICENSE for details). RelationFactory uses SVMLight (http://svmlight.joachims.org/) for classification, so you must agree to the License of SVMLight, especially to it being restricted to scientific use only.
../misc/construction.html
relationfactory-20140930 -
RelationFactory is a relation extraction and knowledge-base population system. It was the top-ranked system in TAC KBP 2013 English Slot-filling (http://www.nist.gov/tac/2013/KBP/index.html). If you want to use RelationFactory in a TAC benchmark, please contact the authors (see LICENSE for details). RelationFactory uses SVMLight (http://svmlight.joachims.org/) for classification, so you must agree to the License of SVMLight, especially to it being restricted to scientific use only.
../misc/construction.html
relationfactory-models-20140521 -
../misc/construction.html
releasedhets-20170701 -
../misc/construction.html
relex-0.8.5 -
RelEx is a syntactic relationship extractor; it will parse English language sentences and return the relationships between different parts of the sentence.
../misc/construction.html
relex-0.98.1 -
../misc/construction.html
relext2-20100406 -
../misc/construction.html
reportedspeechtagger-1.0 -
../misc/construction.html
reranking-parseraug06 -
../misc/construction.html
reranking-parserjune06 -
../misc/construction.html
reranking-parsermay06 -
../misc/construction.html
researchcyc-1.0 -
../misc/construction.html
researchcyc-13575.7140 -
../misc/construction.html
researchcyc-4.0 -
../misc/construction.html
researchcyc-4.0-nighthawk -
../misc/construction.html
researchcyc-4.0h -
../misc/construction.html
researchcyc-4.0o -
../misc/construction.html
researchcyc-4.0p -
../misc/construction.html
researchcyc-4.0q -
../misc/construction.html
researchcyc-4.0q-rc0 -
../misc/construction.html
resolution-theorem-prover-20180405 -
A resolution theorem prover written in Lisp for UMaine's COS470: Artificial Intelligence course.
../misc/construction.html
result-20080220 -
../misc/construction.html
results32-20181124 -
../misc/construction.html
reverb-1.0 -
ReVerb is a program that automatically identifies and extracts binary relationships from English sentences. ReVerb is designed for Web-scale information extraction, where the target relations cannot be specified in advance and speed is important.
../misc/construction.html
review-polarity-20080706 -
../misc/construction.html
rewrite-1.0.0a -
../misc/construction.html
rez-0.3 -
../misc/construction.html
roadnav-0.12.1 -
../misc/construction.html
roadrunner-0.02.11 -
../misc/construction.html
rogomatic-2.0.2 -
Rog-O-Matic
../misc/construction.html
roomline-20080706 -
../misc/construction.html
roots-20081031 -
../misc/construction.html
rosetta-02 -
This directory is the distribution of version 4.2 of the link grammar parsing system for windows. This version was created in April 2001. Please see our web page http://www.link.cs.cmu.edu/link for more information, including documentation.
../misc/construction.html
rosette-20190729 -
../misc/construction.html
rotten-imdb-20080706 -
../misc/construction.html
rpi-software-nameclustering-1.0.0 -
../misc/construction.html
rss2db-20111001 -
../misc/construction.html
rssimapserver-1.2 -
../misc/construction.html
rsttool-20100919 -
../misc/construction.html
rsttool-311 -
../misc/construction.html
rtec-20190103 -
../misc/construction.html
rtec-swi-20190114 -
../misc/construction.html
rtl-433-20170709 -
rtl_433 turns your Realtek RTL2832 based DVB dongle into a 433.92MHz generic data receiver
../misc/construction.html
rtl-433-20180416 -
rtl_433 turns your Realtek RTL2832 based DVB dongle into a 433.92MHz generic data receiver
../misc/construction.html
rtl-433-20181231 -
../misc/construction.html
rtl-entropy-20170731 -
rtl-entropy is software using rtl-sdr to turn your DVB-T dongle into a high quality entropy source. It samples atmospheric noise, does Von-Neumann debiasing, runs it through the FIPS 140-2 tests, then optionally (-e) does Kaminsky debiasing if it passes the FIPS tests, then writes to the output. It can be run as a Daemon which by default writes to a FIFO, which can be read by rngd to add entropy to the system pool.
../misc/construction.html
rtstats-1.0.14 -
../misc/construction.html
rudify-0.1.11 -
../misc/construction.html
runtime-20190521 -
../misc/construction.html
rwhois-1.0 -
../misc/construction.html
saga-20100523 -
../misc/construction.html
saga-bench-gf-20100523 -
../misc/construction.html
saga-bench-lwb-20100523 -
../misc/construction.html
saga-bench-tancs-20100523 -
../misc/construction.html
salto-20100926 -
../misc/construction.html
sample-data-codes-20091010 -
../misc/construction.html
sancho-20160113 -
../misc/construction.html
sapient-20140209 -
../misc/construction.html
satabs.20111013.2200-20181124 -
../misc/construction.html
satallax-2.7 -
../misc/construction.html
satallax-3.0 -
../misc/construction.html
saturate-20100523 -
../misc/construction.html
sb-20090205 -
../misc/construction.html
sbagen-1.4.5 -
../misc/construction.html
sbcl-1.5.3 -
../misc/construction.html
sbr-hunter-domain-20151022 -
../misc/construction.html
sbvrvisualeditor-pre-alpha-1.0.0 -
../misc/construction.html
scan-1.3.1 -
../misc/construction.html
scenelib-20081112 -
../misc/construction.html
scg-1.0.0 -
../misc/construction.html
scol-1 -
../misc/construction.html
scol-1k -
../misc/construction.html
scol1k -
../misc/construction.html
scoot-dec-18.2007 -
../misc/construction.html
scoot-jan-23.2008 -
../misc/construction.html
scoot-ra-apr-7.2008 -
../misc/construction.html
scoot-ra-jul-29.2008 -
../misc/construction.html
scrapely-0.13.4 -
../misc/construction.html
sde-20180625 -
Structured Data Extractor (SDE) is an implementation of DEPTA (Data Extraction based on Partial Tree Alignment), a method to extract data from web pages (HTML documents). DEPTA was invented by Yanhong Zhai and Bing Liu from University of Illinois at Chicago and was published in their paper: "Structured Data Extraction from the Web based on Partial Tree Alignment" (IEEE Transactions on Knowledge and Data Engineering, 2006). Given a web page, SDE will detect data records contained in the web page and extract them into table structure (rows and columns).
../misc/construction.html
sealion-1.2.1 -
../misc/construction.html
see-4.02 -
../misc/construction.html
sekine-extended-named-entity-hierarchy-20100924 -
../misc/construction.html
selenium-server-deb-package-20170308 -
This project is meant to automate debian package for selenium-server It will automatically download selenium-server from google code file repository and package it with init.d scripts.
../misc/construction.html
selftrained-20100919 -
../misc/construction.html
semafor-1.0 -
../misc/construction.html
semafor-2.1 -
SEMAFOR: Semantic Analysis of Frame Representations is a tool for automatic analysis of the frame-semantic structure of English text.
../misc/construction.html
semafor-20171112 -
SEMAFOR is a tool for automatic analysis of the frame-semantic structure of English text.
../misc/construction.html
semanta-0.8.200908310 -
../misc/construction.html
semantic-annotation-demo-20140210 -
../misc/construction.html
semantic-engine-20080711 -
../misc/construction.html
semanticagent-20110930 -
../misc/construction.html
semantical-0.9.2 -
../misc/construction.html
semanticannotator-20090204 -
../misc/construction.html
semcor-2.1 -
SemCor 2.1 was automatically created from SemCor 1.6 by mapping WordNet 1.6 to WordNet 2.1 senses. SemCor 1.6 was created and is property of Princeton University.
../misc/construction.html
semcor-3.0 -
../misc/construction.html
semediawiki-1.0.1 -
Semantic MediaWiki is a project for extending MediaWiki with "semantic" functions that enable machine-reading of wiki-content. For details and further links, see http://semantic-mediawiki.org
../misc/construction.html
semeval2018-task4 -
../misc/construction.html
semfs-20071228 -
../misc/construction.html
semfs-20100222 -
../misc/construction.html
semlink-1.2.2c -
../misc/construction.html
senselearner-2.0 -
SenseLearner is a system that attempts to disambiguate all open class words in any given text. It can be thought of as a minimally supervised WSD algorithm, in that it uses a small data set for training purposes. The algorithm does not need a separate classifier for each word to be disambiguated, but instead it learns global models for word categories. The current distribution comes with four models - for the various parts of speech. The implementation is however meant to be flexible, so that new models can be easily implemented and added to SenseLearner.
../misc/construction.html
sensus-19980301 -
../misc/construction.html
sentboundaries-20081215 -
../misc/construction.html
sentensa-2.3 -
../misc/construction.html
seq-opt-dynamic-gamer-2.0 -
../misc/construction.html
seq-opt-hspsf-20170330 -
../misc/construction.html
serf-20090205 -
../misc/construction.html
serf-20090504 -
../misc/construction.html
sflux-2.0 -
FLUX is a high-level programming system for cognitive agents of all kinds, including autonomous robots. Cognitive agents control themselves using an internal model of their environment. The FLUX kernel system endows agents with the general cognitive ability to reason about their actions and sensor data they acquire. FLUX agents are also able to plan ahead their actions in order to achieve specific goals. FLUX allows to implement complex strategies with concise and modular agent programs. An efficient constraint logic program, the FLUX system scales up well to domains which require large states and long action sequences.
../misc/construction.html
sgp-1.0 -
This is Sensory Graphplan (SGP), release 1.0h.
../misc/construction.html
sgp-20160811 -
This is Sensory Graphplan (SGP), release 1.0h.
../misc/construction.html
sgplan-6 -
../misc/construction.html
sgplan-6.1 -
../misc/construction.html
sh-20191003 -
../misc/construction.html
shaken-3.0 -
The HPKB effort showed that it is possible to create KBs by reusing the content of knowledge libraries. It was acknowledged that the ability of a subject matter expert (SME) to directly enter knowledge is essential to improve the KB construction rates. The goal of the Rapid Knowledge Formation (RKF) project is to explore and create innovative techniques for SMEs to directly enter knowledge. The SRI team is developing a system for direct knowledge entry by SMEs as an integrated team of technology developers.
../misc/construction.html
shalmaneser-1.1.160307 -
Shalmaneser is a supervised learning toolbox for shallow semantic parsing, i.e. the automatic assignment of semantic classes and roles to text. The system was developed for Frame Semantics; thus we use Frame Semantics terminology and call the classes frames and the roles frame elements. However, the architecture is reasonably general, and with a certain amount of adaption, Shalmaneser should be usable for other paradigms (e.g., PropBank roles) as well. Shalmaneser caters both for end users, and for researchers.
../misc/construction.html
sharp-1.1.1 -
../misc/construction.html
shen-20150214 -
../misc/construction.html
shinycms-20170804 -
ShinyCMS is an open source CMS built in Perl using the Catalyst framework.
../misc/construction.html
shop3-20190605 -
../misc/construction.html
sift-1.1 -
../misc/construction.html
sigma-2.02 -
Sigma (Pease, 2003) is an environment for creating, testing, modifying, and performing inference with ontologies. This document explains how to install and use Sigma. Those new to Sigma are advised to read the entire document, but experienced users who simply want to install a newer version of Sigma might be able to get by with reading just the Quick Start section. Please bear in mind, however, that Sigma is a work in progress with a few rough edges, and that one purpose of this document is to help you achieve productive use of Sigma. Taking time to read this document now might save you time in the future.
../misc/construction.html
sigma-ace-20190831 -
../misc/construction.html
sigmakee-20130902 -
../misc/construction.html
sigmakee-20140305 -
../misc/construction.html
sigmakee-20140624 -
../misc/construction.html
simact-code-20180331 -
../misc/construction.html
simgen-20190531 -
../misc/construction.html
sims-20090223 -
../misc/construction.html
sirius-1.0.1 -
../misc/construction.html
sirius-caffe-20150805 -
../misc/construction.html
sirius-suite-1.0 -
../misc/construction.html
sirius-suite-1.1 -
../misc/construction.html
sitcalc-async-knowledge-20181011 -
../misc/construction.html
skald-1.0.3 -
../misc/construction.html
slime-20190605 -
../misc/construction.html
sling-20190320 -
../misc/construction.html
slush-1236 -
../misc/construction.html
small-adventure-games-20181018 -
../misc/construction.html
smartedit-1.1 -
../misc/construction.html
smc-5.1.0 -
../misc/construction.html
sme-4 -
../misc/construction.html
sme-4-corpus-20170708 -
../misc/construction.html
smes-20081021 -
../misc/construction.html
smodels-2.34 -
../misc/construction.html
smt-lsm-converter-200-9.09.08 -
../misc/construction.html
smtplan-20180617 -
PDDL+ planning through compilation to SMT
../misc/construction.html
smv.r-2.5.4 -
../misc/construction.html
snake-rpg-final-20090116 -
../misc/construction.html
snap-20551011 -
../misc/construction.html
snap-5.1.0 -
../misc/construction.html
sneps-2.8.0 -
../misc/construction.html
snips-20180803 -
../misc/construction.html
snowman-20170205 -
http://derevenets.com/[Snowman] is a native code to C/C++ decompiler, supporting x86, AMD64, and ARM architectures. You can use it as a standalone GUI application, command-line tool, IDA plug-in, or a library. Snowman is link:doc/licenses.asciidoc[free software].
../misc/construction.html
snowman-plugin-v0.1.0-linux-qt-4.8.7 -
../misc/construction.html
sntool-0.8.12 -
../misc/construction.html
soapui-4.0.1 -
../misc/construction.html
soar-8.4.5 -
../misc/construction.html
soar-el-1.2 -
../misc/construction.html
soarsuite-9.3.1 -
../misc/construction.html
social-simulator-20091007 -
../misc/construction.html
socnetv-0.51 -
../misc/construction.html
software-soar-20140813 -
../misc/construction.html
solaris1553-20181124 -
../misc/construction.html
soothsayer-0.6.2 -
Welcome to Soothsayer, the intelligent extensible pluggable predictive text entry system.
../misc/construction.html
sources.0.4 -
../misc/construction.html
sp-4.3.5 -
SICStus Prolog binary distribution
../misc/construction.html
sp-4.4.1 -
../misc/construction.html
sp-4.4.1-x86.64-darwin-1-7.0.0 -
../misc/construction.html
spacewarrior-0.2 -
../misc/construction.html
spade-2.2.1 -
SPADE (Smart Python multi-Agent Development Environment) is a Multiagent and Organizations Platform based on the XMPP/Jabber technology and written in the Python programming language. This technology offers by itself many features and facilities that ease the construction of MAS, such as an existing communication channel, the concepts of users (agents) and servers (platforms) and an extensible communication protocol based on XML, just like FIPA-ACL. Many other agent platforms exist, but SPADE is the first to base its roots on the XMPP technology.
../misc/construction.html
spade-20100919 -
../misc/construction.html
spade-20110710 -
SPADE (Sentence-level PArsing for DiscoursE) is a discourse parser at sentence level written by Radu Soricut at USC/ISI. You can find details about the approach implemented by SPADE in the paper:
../misc/construction.html
spark-0.9.0 -
../misc/construction.html
spark-1.0.0 -
../misc/construction.html
speech-act-classifier-20170727 -
../misc/construction.html
speech-act-classifier-20170729 -
../misc/construction.html
speech-acts-classifier-20170726 -
An experiment with parsing natural language and classifying the [speech act](https://en.wikipedia.org/wiki/Speech_act) of the sentence. This is especially important when a machine is trying to understand the meaning of a sentence in an environment, like a chat session, where missing punctuation is common.
../misc/construction.html
spejd-0.84 -
Spejd is a shallow parser, which allows for simultaneous syntactic parsing and morphological disambiguation, developed at the Institute of Computer Science, Polish Academy od Sciences, Warsaw.
../misc/construction.html
spf-20170112 -
../misc/construction.html
sphimiddleware-1.0 -
../misc/construction.html
sphinx-20080424 -
../misc/construction.html
sphinx-4 -
../misc/construction.html
sphinx-4.1.0 -
../misc/construction.html
spin648-windows32 -
../misc/construction.html
spin649-windows64 -
../misc/construction.html
spot-0.4 -
../misc/construction.html
spr-20190405 -
../misc/construction.html
spud-src-20190930 -
../misc/construction.html
sr-22 -
../misc/construction.html
srl-2.0 -
../misc/construction.html
srl-demo2 -
../misc/construction.html
srlconll-1.1 -
The srlconll package is a collection of scripts in Perl, which make use of a Perl library (found under directory lib). You must set the PERL5LIB environment variable to look for that directory. Assuming that the srlconll-1.1 package is at directory $HOME/soft/srlconll-1.1, the command under tcsh is :
../misc/construction.html
sserver-20060618 -
../misc/construction.html
ssn-parser-1.0 -
../misc/construction.html
sst-1.0 -
../misc/construction.html
stackedparser-20100514 -
../misc/construction.html
stackedparserserver-20130601 -
../misc/construction.html
stanbol-20120408 -
../misc/construction.html
stanford-corenlp-20120409 -
../misc/construction.html
stanford-corenlp-full-20140104 -
../misc/construction.html
stanford-kbp-20181021 -
../misc/construction.html
stanford-manual-annotation-tool-20040516 -
../misc/construction.html
stanford-mt-rte-200-8.10.31 -
../misc/construction.html
stanford-ner-200-6.09.18 -
../misc/construction.html
stanford-ner-20080306 -
This package provides a high-performance machine learning based named entity recognition system, including facilities to train models from supervised training data and pre-trained models for English.
../misc/construction.html
stanford-parser-20100601 -
../misc/construction.html
stanford-parser-20110627 -
This package contains 3 parsers: a high-accuracy unlexicalized PCFG, a lexicalized dependency parser, and a factored model, where the estimates of dependencies and an unlexicalized PCFG are jointly optimized to give a lexicalized PCFG treebank parser. Also included are grammars for various languages for use with these parsers.
../misc/construction.html
stanford-parser-20140827 -
../misc/construction.html
stanford-parser-full-2017-06-09 -
../misc/construction.html
stanford-postagger-full-20100531 -
../misc/construction.html
start-sandbox-hdp-standalone-2.6.4 -
../misc/construction.html
stefanrank-actaffactviewer-20190304 -
../misc/construction.html
stella-3.3.1 -
../misc/construction.html
stella-3.5.0 -
Lisp-style Symbolic Programming with Delivery in Common-Lisp, C++ and Java
../misc/construction.html
stella-3.5.31 -
../misc/construction.html
stet-20071125 -
../misc/construction.html
stevedraper-ggp-base-60143e2 -
Application Suite for the General Game Playing Project; - A GUI-based GameKiosk (for playing human-vs-computer matches) - A GUI-based GamePlayer (for running computer players) - A GUI-based GameServer (for hosting matches) - A GUI-based GDLValidator (for validating game rulesheets)
../misc/construction.html
stockfish-6 -
Stockfish is a free UCI chess engine derived from Glaurung 2.1. It is not a complete chess program and requires some UCI-compatible GUI (e.g. XBoard with PolyGlot, eboard, Arena, Sigma Chess, Shredder, Chess Partner or Fritz) in order to be used comfortably. Read the documentation for your GUI of choice for information about how to use Stockfish with it.
../misc/construction.html
struct-20091010 -
../misc/construction.html
sts-tool-2.2.3.201812071544 -
../misc/construction.html
sudokutool-1.0 -
../misc/construction.html
suggest-1.0 -
../misc/construction.html
summarist-2.0 -
../misc/construction.html
sundance-4.37 -
../misc/construction.html
sundance-apps-4.37 -
../misc/construction.html
super-sense-tag-20090216 -
../misc/construction.html
supplementary-computationalautism-20170506 -
../misc/construction.html
swarm-2.1.1 -
../misc/construction.html
sweetrules-2.1 -
../misc/construction.html
swi-prolog-6.3.7 -
../misc/construction.html
swipl-6.5.0 -
../misc/construction.html
swipl-7.7.25 -
../misc/construction.html
swipl-devel-20180310 -
SWI-Prolog: A comprehensive Prolog implementation
../misc/construction.html
swirl-1.1.0 -
SwiRL is a Semantic Role Labeling (SRL) system constructed on top of the full syntactic analysis of text. The syntactic analysis is performed using Eugene Charniak's parser (included in this package). SwiRL trains one classifier for each argument label using a rich set of syntactic and semantic features. The classifiers are learned using one-vs-all AdaBoost classifiers, using Xavier Carreras' AdaBoost software (included in this package).
../misc/construction.html
sygus-comp14 -
../misc/construction.html
synapse-20160508 -
../misc/construction.html
synthea-20190125 -
../misc/construction.html
t-rex-0.3 -
../misc/construction.html
t-rex-20080702 -
../misc/construction.html
t0-20160811 -
../misc/construction.html
tabari-0.4.04 -
../misc/construction.html
tabari-0.6 -
../misc/construction.html
tacitus-0.0.2 -
../misc/construction.html
tactical-1.0 -
../misc/construction.html
tactical-1.0-snapshot-jar-with-dependencies -
../misc/construction.html
tadpole-0.2-beta -
../misc/construction.html
tagen-20080112 -
../misc/construction.html
tagen-20080306 -
../misc/construction.html
tagfsai-20071228 -
This program is an attempt to create a working algerithm that will be able to organize a hierarchy of tags based on the tag sets given to the program through a input file.
../misc/construction.html
tagsistant-20071009 -
../misc/construction.html
talespin-annie-20180825 -
../misc/construction.html
tao-ontology-learning-20090517 -
../misc/construction.html
tarski-20190326 -
../misc/construction.html
tarsqi-1.0 -
../misc/construction.html
taskforest-1.15 -
../misc/construction.html
tattler-1.0 -
../misc/construction.html
tbr-ed20 -
../misc/construction.html
tdb-0.8.7 -
../misc/construction.html
tdf-20190405 -
../misc/construction.html
tdftool-0.9.1 -
../misc/construction.html
tdt-topic-tables-3 -
../misc/construction.html
teamcore-19981009 -
../misc/construction.html
tease-collection-20080622 -
../misc/construction.html
tei-20190928 -
../misc/construction.html
tei-emacs-20190928 -
../misc/construction.html
tempcauserelpro-20170222 -
../misc/construction.html
templater-0.4.0 -
../misc/construction.html
tempo-sat-sgplan6 -
../misc/construction.html
tempo-sat-sgplan6-planning -
../misc/construction.html
temporal-slot-filling-1.0.1 -
../misc/construction.html
tensor-20090226 -
../misc/construction.html
tensorflow-rnn-events-prediction-20190706 -
../misc/construction.html
termes-20091010 -
../misc/construction.html
termex-1.49 -
../misc/construction.html
termex-e-20080706 -
../misc/construction.html
termextract-4.08 -
../misc/construction.html
tesseract-2.01 -
This package contains the Tesseract Open Source OCR Engine. Orignally developed at Hewlett Packard Laboratories Bristol and at Hewlett Packard Co, Greeley Colorado, all the code in this distribution is now licensed under the Apache License:
../misc/construction.html
tesseract-2.03 -
../misc/construction.html
texai-20071225 -
../misc/construction.html
texco-0.1.3 -
../misc/construction.html
text-pair-0.9 -
the Text::Pair module for the identification of textual reuse in large corpora.
../misc/construction.html
text2onto-071109 -
../misc/construction.html
textbelt-20170221 -
TextBelt Open Source is a REST API that sends outgoing SMS. It uses a free mechanism for sending texts, different from the more reliable paid version available at https://textbelt.com.
../misc/construction.html
textmap -
The systems produced withinTextMap focus on methods and techniques for answering: * Factoid questions: What is the capital of Morocco? * Cause questions: Why is there no cure for the cold? * Biography questions: What do you know about Dick Cheney? * Event questions: What do you know about the Kobe earthquake? TextMap employs a combination of rule-based and supervised and unsupervised machine learning algorithms that are trained on massive amounts of data.
../misc/construction.html
textmarker-20090215 -
../misc/construction.html
textmine-0.2 -
../misc/construction.html
textminer-1.1.5 -
../misc/construction.html
textminingtool-20090205 -
../misc/construction.html
texttoonto-20040524 -
../misc/construction.html
tfd-src-0.4 -
../misc/construction.html
thdclientpr-20140216 -
../misc/construction.html
thes-ga-ie-2 -
This is version 1.001 of Líonra Séimeantach na Gaeilge for OpenOffice.org.
../misc/construction.html
thinkcspop1-1.0.7 -
../misc/construction.html
thinknowlogy-2009.2 -
../misc/construction.html
thinknowlogy-2011 -
../misc/construction.html
thmanager-2.0 -
../misc/construction.html
ticcutils-20170708 -
This module contains useful functions for general use in the TiCC software stack and beyond.
../misc/construction.html
tielt-083 -
../misc/construction.html
tifmo-20140707 -
TIFMO (Textual Inference Forward-chaining MOdule) is an unsupervised Recognizing Textual Entailment (RTE) system based on Dependency-based Compositional Semantics (DCS) and logical inference.
../misc/construction.html
tika-20150828 -
../misc/construction.html
tilsapa-20090225 -
../misc/construction.html
timbl-5.0 -
../misc/construction.html
timbl-6.4.9 -
TiMBL is an open source software package implementing several memory-based learning algorithms, among which IB1-IG, an implementation of k-nearest neighbor classification with feature weighting suitable for symbolic feature spaces, and IGTree, a decision-tree approximation of IB1-IG. All implemented algorithms have in common that they store some representation of the training set explicitly in memory. During testing, new cases are classified by extrapolation from the most similar stored cases.
../misc/construction.html
timbuk3.2-20181124 -
../misc/construction.html
time-dependent-cost-domains-20170706 -
../misc/construction.html
tinycog-0.0.1 -
Minimalist Cognitive Architecture
../misc/construction.html
tipi-0.1 -
../misc/construction.html
tla-mode-0.4 -
../misc/construction.html
tla-mode-doc-0.4 -
../misc/construction.html
tlpvs180404.dump-20181124 -
../misc/construction.html
tmg-5.0r6 -
../misc/construction.html
tmt-0.1.1 -
../misc/construction.html
tools-20190103 -
../misc/construction.html
toolset-2-5.11.2011 -
../misc/construction.html
torch-rnn-master-20160416 -
torch-rnn provides high-performance, reusable RNN and LSTM modules for torch7, and uses these modules for character-level language modeling similar to [char-rnn](https://github.com/karpathy/char-rnn).
../misc/construction.html
toss-1.0 -
../misc/construction.html
tptp-5.5.0 -
../misc/construction.html
tptp-6.0.0 -
The TPTP (Thousands of Problems for Theorem Provers) Problem Library is a library of test problems for automated theorem proving (ATP) systems. The TPTP supplies the ATP community with: + A comprehensive library of the ATP test problems that are available today, in order to provide an overview and a simple, unambiguous reference mechanism. + A comprehensive list of references and other interesting information for each problem. + Arbitary size instances of generic problems (e.g., the N-queens problem). + A utility to convert the problems to existing ATP systems' formats. + General guidelines outlining the requirements for ATP system evaluation. + Standards for input and output for ATP systems.
../misc/construction.html
tptp-7.2.0 -
../misc/construction.html
tptp-elaboration-challenge-problem-set-20190320 -
../misc/construction.html
tptp-scaling-challenge-problem-set-20190320 -
../misc/construction.html
tptp2x-v-6.4.0 -
../misc/construction.html
transcriptserver3-1.3.0 -
../misc/construction.html
transset-df-6 -
../misc/construction.html
tree-tagger-arm6-4.3.2 -
../misc/construction.html
tree-tagger-linux-3.2-old5 -
../misc/construction.html
tree-tagger-linux-3.2.1 -
../misc/construction.html
tree-tagger-macosx-3.2 -
../misc/construction.html
treetagger-3.1 -
The TreeTagger consists of two programs: train-tree-tagger is used to create a parameter file from a lexicon and a handtagged corpus. tree-tagger expects a parameter file and a text file as arguments and annotates the text with part-of-speech tags. The file formats are described below. By default, the programs are located in the ./bin sub-directory.
../misc/construction.html
trellis-0.3 -
../misc/construction.html
trindikit-4.0.2 -
../misc/construction.html
trivial-gamekit-20180613 -
Library for getting into gamedev with Common Lisp! Very simple interface to graphics, audio and input.
../misc/construction.html
trp-20100523 -
../misc/construction.html
trp-sics-20100523 -
../misc/construction.html
trp-swi-20100523 -
../misc/construction.html
trp2.2-20181124 -
../misc/construction.html
trueviz-1.02 -
../misc/construction.html
tsimmis-1.34 -
../misc/construction.html
tsimmis-1.35 -
../misc/construction.html
tsimmis-20181123 -
../misc/construction.html
tslib-1.0.0 -
../misc/construction.html
tss-1.0 -
../misc/construction.html
ttk-20180518 -
This is the main repository for the Tarsqi Toolkit (TTK), a set of processing components for extracting temporal information from news wire texts. TTK extracts time expressions, events, subordination links and temporal links; in addition, it can ensure consistency of temporal information.
../misc/construction.html
ttt-20140210 -
../misc/construction.html
turboparser-2.3.0 -
../misc/construction.html
tutor-20091021 -
../misc/construction.html
tweetranking-20140509 -
../misc/construction.html
twine-2.2.1 -
../misc/construction.html
twittering-mode-20140218 -
../misc/construction.html
twixt-0.9.2 -
../misc/construction.html
ubigraph-alpha-0.2.4 -
../misc/construction.html
uci-chess-20190831 -
../misc/construction.html
ucpop-41 -
../misc/construction.html
ude-0.1 -
../misc/construction.html
udeplambda-20191020 -
../misc/construction.html
uff-1.2 -
../misc/construction.html
uk-web-crawl-link-dataset-2006 -
../misc/construction.html
ukb-2.1 -
UKB is a collection of programs for performing graph-based Word Sense Disambiguation and lexical similarity/relatedness using a pre-existing knowledge base.
../misc/construction.html
ultrafine-acl18 -
../misc/construction.html
umop-1.2 -
UMOP (Jensen & Veloso, AIPS2000, JAIR vol. 13 2000 and Jensen, Veloso and Bowling ECP-01) is a universal planning system for multi-Agent and non-Deterministic domains. As input UMOP takes a planning problem described in the Non-deterministic Agent Domain Language (NADL). The NADL problem is translated to a Kripke structure search problem. The Kripke structure is represented by a conjunctive partitioned transition relation encoded symbolically as a set of Ordered Binary Decision Diagrams (OBDDs, Bryant 1986).
../misc/construction.html
unbeast-0.6 -
../misc/construction.html
unicad-1.1.4 -
../misc/construction.html
universe-starter-agent-20190223 -
../misc/construction.html
unixodbc-2.3.4 -
unixODBC is an Open Source ODBC sub-system and an ODBC SDK for Linux, Mac OSX, and UNIX.
../misc/construction.html
upshot-montague-20170112 -
`montague` is a little CCG semantic parsing library for Scala.
../misc/construction.html
usar-20031105 -
../misc/construction.html
utool-3.1.1 -
../misc/construction.html
uvi-20191018 -
../misc/construction.html
vagrant-memex-20180827 -
DARPA MEMEX project Vagrant VM
../misc/construction.html
vagrant-mutate-20191009 -
../misc/construction.html
vagrant-vbguest-20180826 -
../misc/construction.html
val-4.2.08 -
VAL - The Automatic Plan Validator for PDDL3
../misc/construction.html
val-4.2.09 -
VAL - The Automatic Plan Validator for PDDL3
../misc/construction.html
vampire-20081027 -
../misc/construction.html
vampire-4.1 -
../misc/construction.html
vampire-4.2 -
../misc/construction.html
vampire-4.2.2 -
../misc/construction.html
vampireprime-20150704 -
../misc/construction.html
vampiresource-20081027 -
../misc/construction.html
varro-20140209 -
../misc/construction.html
vasy-12323.27667.bcg -
../misc/construction.html
vcegar1.3-20181124 -
../misc/construction.html
vegabuild-linux.gtk.x86.64 -
../misc/construction.html
venses-20090223 -
../misc/construction.html
venses-20160613 -
../misc/construction.html
vensus-20100122 -
../misc/construction.html
verbnet-3.3 -
../misc/construction.html
verbocean-20080702 -
../misc/construction.html
verifier-20160811 -
../misc/construction.html
verit-stable2016 -
../misc/construction.html
videosubfinder-1.76 -
../misc/construction.html
virtuoso-opensource-5.0.3 -
../misc/construction.html
vislcg-3 -
../misc/construction.html
visplan-20151117 -
../misc/construction.html
visualsfm-linux-20170723 -
VisualSFM - A Visual Structure from Motion System
../misc/construction.html
voce-0.9.1 -
../misc/construction.html
vsam-2.0 -
../misc/construction.html
vyakarana-20100214 -
../misc/construction.html
w3mmee-p24.23 -
../misc/construction.html
wac-tk-20080307 -
../misc/construction.html
wandora-20090110 -
../misc/construction.html
wargus-prolog-source-20190723 -
../misc/construction.html
wasa-251 -
../misc/construction.html
wasp-2.0 -
../misc/construction.html
wastecollectors-20100605 -
../misc/construction.html
wastedalmas-20100605 -
../misc/construction.html
wbcnet-1.0 -
../misc/construction.html
wdba-200-9.03.03 -
../misc/construction.html
web-page-classification-20180805 -
Topical Web-page classification of the DMOZ Dataset
../misc/construction.html
webmate-20000315 -
../misc/construction.html
webnewscrawler-1.0 -
WebNews Crawler is a java application to crawl (download, fetch) resources via HTTP. You can use it as a generic crawler to download WEB pages from Internet. It has a set of filters to limit and focus your crawling process. In addition WebNews Crawler comes with powerful HTML2XML library that can extract desired data from HTML pages and represent it in XML format. Together with ability to parse RSS feeds this crawler is useful for acquiring and cleaning WEB news articles.
../misc/construction.html
webscripter-2.2 -
../misc/construction.html
webtty-0.1 -
../misc/construction.html
weka-3.4.1 -
../misc/construction.html
weps-20080702 -
../misc/construction.html
wheresmystuff-installer-v-1.0.4 -
../misc/construction.html
why-3.1.1 -
../misc/construction.html
wikimeta-20140210 -
../misc/construction.html
wikipedia-datav-1.0 -
Wikipedia Relation Extraction Data v1.0
../misc/construction.html
wn30-lfs-20140509 -
../misc/construction.html
wnja-20100208 -
../misc/construction.html
wnprolog-3.0 -
../misc/construction.html
wnsnsmap-3.0 -
WordNet is an online lexical reference system. Word forms in WordNet are represented in their familiar orthography; word meanings are represented by synonym sets (synsets) - lists of synonymous word forms that are interchangeable in some context. Two kinds of relations are recognized: lexical and semantic. Lexical relations hold between word forms; semantic relations hold between word meanings.
../misc/construction.html
wordcounts-20080914 -
../misc/construction.html
wordfreak-2.2 -
../misc/construction.html
wordnet-1.6 -
../misc/construction.html
wordnet-2.0 -
../misc/construction.html
wordnet-2.1 -
../misc/construction.html
wordnet-3.0 -
../misc/construction.html
wordnet-dict-3.1 -
../misc/construction.html
wordnet-owl-1.7.1 -
../misc/construction.html
wordnet-senserelate-20090216 -
../misc/construction.html