url = https://github.com/harinij/100DaysOfCode url = https://gist.github.com/LFY/1126809 url = https://github.com/njustesen/a2c_gvgai url = https://github.com/amzn/alexa-skills-kit-java 100.00% Prolog url = http://github.com/aindilis/am-utexas.git 99.83% Prolog url = https://github.com/idank/bashlex url = https://github.com/vorpaljs/bash-parser url = https://github.com/juaner09/bettyprimacy url = https://github.com/carneades/carneades.git url = https://github.com/TheCommieDuck/CatMUD 100.00% Prolog url = https://github.com/aindilis/CausalRelationExtraction url = https://github.com/erkyrath/cheapglk url = https://github.com/comotion/cpm url = https://github.com/pjreddie/darknet url = https://github.com/eriktmueller/daydreamer url = https://github.com/Planeshifter/deidentify.git url = git://git.code.sf.net/p/dnrdalmas/git 100.00% Prolog url = https://github.com/searchivarius/EphyraQuestionAnalysis url = https://github.com/hltfbk/Excitement-Open-Platform url = https://github.com/idank/explainshell url = https://github.com/idank/explainshell-manpages url = https://github.com/AlexLandau/fluxplayer-prolog-engine/ 97.31% Prolog url = https://github.com/shoe/free_cite.git url = https://github.com/marian-margeta/gait-recognition url = https://github.com/richemslie/galvanise url = https://github.com/aindilis/sandbox-gamer.git url = https://github.com/AlexLandau/gdl-perf 7.45% Prolog url = https://github.com/SteveDraper/ggp-base url = https://github.com/ggp-org/ggp-base url = git@github.com:michalkurzeja/GGP-Botter 100.00% Prolog url = https://github.com/openai/go-vncdriver url = https://github.com/EssexUniversityMCTS/gvgai url = https://github.com/branning/hs100 url = https://github.com/ronwalf/HTN-Translation url = https://github.com/harvardnlp/im2markup url = https://github.com/knowitall/implie url = https://github.com/adamkhazi/information-extraction-system url = https://github.com/kaldi-asr/kaldi url = https://github.com/chetan51/linguist url = https://github.com/TeamSPoon/logicmoo 85.46% Prolog url = https://github.com/UKPLab/lsdsem2017-story-cloze url = https://github.com/claritylab/lucida url = https://github.com/stolba/MADLAPlanner url = git@github.com:aindilis/madla-planner.git url = https://github.com/danfis/maplan url = https://github.com/moridinamael/mc-aixi url = https://github.com/sysulic/MEPK url = https://github.com/jessealama/mizarmode url = https://github.com/moses-smt/mosesdecoder.git url = https://github.com/numenta/nupic url = https://github.com/thomasbhatia/OpenDPI.git url = https://github.com/TScottJ/OpenEphyra url = https://github.com/emericg/OpenSubtitlesDownload url = https://github.com/SWI-Prolog/packages-ltx2htm 52.07% Prolog url = https://github.com/hltcoe/parma url = https://github.com/bluescarni/piranha url = https://github.com/ramonpereira/Planning-GoalRecognition url = https://github.com/sebity/plOpenGL 33.16% Prolog url = https://github.com/QuillCloud/Prolog-BDI-Agent 100.00% Prolog url = https://github.com/RobertSasak/Prolog-Planning-Library 73.40% Prolog url = https://github.com/propbank/propbank-frames url = https://github.com/propbank/propbank-release url = https://gitlab.fel.cvut.cz/tozicjan/psm-planner url = https://github.com/dlwh/puck url = https://github.com/nasa/pvslib.git url = https://github.com/Garee/pytodoist url = https://github.com/radare/radare2 url = https://github.com/beroth/relationfactory url = https://github.com/beroth/relationfactory url = git@github.com:jakemmarsh/resolution-theorem-prover url = https://github.com/merbanan/rtl_433 url = git@github.com:merbanan/rtl_433 url = https://github.com/pwarren/rtl-entropy url = https://github.com/floreal/selenium-server-deb-package url = https://github.com/Noahs-ARK/semafor url = https://github.com/amore-upf/semeval2018-task4 url = https://github.com/denny/ShinyCMS url = https://github.com/aindilis/sandbox-sigma.git url = https://github.com/KCL-Planning/SMTPlan url = https://github.com/yegord/snowman url = https://github.com/murdoc02/speech_act_classifier url = https://github.com/gigasquid/speech-acts-classifier url = https://github.com/cornell-lic/spf url = git@github.com:SWI-Prolog/swipl-devel.git url = git@github.com:SWI-Prolog/bench.git url = git@github.com:SWI-Prolog/packages-PDT.git url = git@github.com:SWI-Prolog/packages-RDF.git url = git@github.com:SWI-Prolog/packages-archive.git url = git@github.com:SWI-Prolog/packages-bdb.git url = git@github.com:SWI-Prolog/packages-chr.git url = git@github.com:SWI-Prolog/packages-clib.git url = git@github.com:SWI-Prolog/packages-clpqr.git url = git@github.com:SWI-Prolog/packages-cpp.git url = git@github.com:SWI-Prolog/packages-cql.git url = git@github.com:SWI-Prolog/packages-http.git url = git@github.com:SWI-Prolog/packages-inclpr.git url = git@github.com:SWI-Prolog/packages-jpl.git url = git@github.com:SWI-Prolog/packages-libedit.git url = git@github.com:SWI-Prolog/packages-nlp.git url = git@github.com:SWI-Prolog/packages-odbc.git url = git@github.com:SWI-Prolog/packages-pcre.git url = git@github.com:SWI-Prolog/packages-pengines.git url = git@github.com:SWI-Prolog/packages-pldoc.git url = git@github.com:SWI-Prolog/packages-plunit.git url = git@github.com:SWI-Prolog/contrib-protobufs.git url = git@github.com:SWI-Prolog/packages-readline.git url = git@github.com:SWI-Prolog/packages-semweb.git url = git@github.com:SWI-Prolog/packages-sgml.git url = git@github.com:SWI-Prolog/packages-ssl.git url = git@github.com:SWI-Prolog/packages-swipl-win.git url = git@github.com:SWI-Prolog/packages-table.git url = git@github.com:SWI-Prolog/contrib-tipc.git url = git@github.com:SWI-Prolog/packages-utf8proc.git url = git@github.com:SWI-Prolog/packages-windows.git url = git@github.com:SWI-Prolog/packages-xpce.git url = git@github.com:SWI-Prolog/packages-zlib.git 42.63% Prolog url = https://github.com/typpo/textbelt url = https://github.com/LanguageMachines/ticcutils url = https://github.com/tianran/tifmo url = https://github.com/borodust/trivial-gamekit url = https://github.com/tarsqi/ttk url = https://github.com/Workday/upshot-montague url = https://github.com/knowm/XChange url = https://github.com/tokland/youtube-upload url = https://github.com/Z3Prover/z3 url = https://gist.github.com/diyfr/078fb10082589115df48039f42dce7e3 url = https://github.com/harinij/100DaysOfCode url = https://gist.github.com/LFY/1126809 url = https://gist.github.com/bkiers/87d11d2fc01a718f911a9cafc660dde9 url = https://github.com/leeshekczun/9414-PrologBDI_Agent 100.00% Prolog url = https://github.com/njustesen/a2c_gvgai url = https://github.com/itsabot/abot url = https://github.com/jhlau/acceptability_prediction url = https://github.com/Attempto/ACE-in-GF 9.12% Prolog url = https://github.com/tkuhn/AceRules 47.47% Prolog url = git@github.com:acl2/acl2 url = https://github.com/bwallace/ACL-2014-irony url = https://github.com/UKPLab/acl2016-convincing-arguments url = https://github.com/UKPLab/acl2016-modality-verbclasses url = https://github.com/UKPLab/acl2016-optimizing-rouge url = https://github.com/UKPLab/acl2016-supersense-embeddings url = https://github.com/rispoli/acl-lean 72.20% Prolog url = https://github.com/sbos/AdaGram.jl url = https://github.com/BBN-E/Adept url = https://github.com/mcapino/adpp-journal url = https://github.com/LightJason/AgentSpeak url = https://github.com/hltcoe/agiga url = https://github.com/yago-naga/aida url = https://github.com/qcri-social/AIDR url = https://github.com/acutesoftware/AIKIF url = https://github.com/klutometis/aima url = https://github.com/gnufs/aima-java url = https://github.com/aimacode/aima-lisp url = https://github.com/AI-metrics/AI-metrics url = https://github.com/AAAI/AINews.git url = https://github.com/AAAI/AINewsSupplementary.git url = https://github.com/vlall/Ai-Papers url = git@github.com:melvinzhang/ait-lisp url = https://github.com/merovingien/AIWar url = https://github.com/Donohue/alexa url = git@github.com:alexa/alexa-avs-sample-app url = https://github.com/gravesjohnr/AlexaNotificationCurl url = https://github.com/amzn/alexa-skills-kit-java url = https://github.com/amzn/alexa-skills-kit-js url = https://github.com/dale3h/alexa-skills-list/ url = git://git.kitenet.net/alien url = https://github.com/allenai/allennlp.git url = https://github.com/150balbes/Amlogic_s905 url = http://github.com/aindilis/am-utexas.git 99.83% Prolog url = https://github.com/Anniepoo/amziexpertsystemsinprolog.git 100.00% Prolog url = https://github.com/googlesamples/android-BluetoothLeGatt url = https://github.com/DoTheEvo/ANGRYsearch url = https://github.com/darkfeline/animanager url = https://github.com/hltcoe/anno-pipeline url = https://github.com/Attempto/APE.git 95.45% Prolog url = https://github.com/cycorp/api-suite url = https://github.com/AmziLS/apls 12.69% Prolog url = https://github.com/smira/aptly url = https://github.com/nschneid/arabic-tagger url = https://git.renater.fr/arc.git url = https://github.com/UKPLab/argmin2015-DiGAT url = https://github.com/UKPLab/argmin2016-unshared-task url = https://github.com/vmohan7/Arimaa/ url = https://bitbucket.org/skylander/ark-sage.git url = https://github.com/kevinzzz007/ark-tweet-nlp url = https://github.com/ianozsvald/ark-tweet-nlp-python url = https://github.com/PaladhiDinesh/Artificial-Intelligence url = https://github.com/anjishnu/ask-alexa-pykit url = https://github.com/anjishnu/ask-alexa-twitter url = https://github.com/edisonm/assertions.git 83.05% Prolog url = https://github.com/netankit/AudioMLProject3 url = https://github.com/Ejhfast/augur-nlp-mining url = https://github.com/gcolajan/authorship-attribution url = https://github.com/aig-upf/automated-programming-framework/ url = git@github.com:alexa/avs-device-sdk url = https://github.com/jbalint/banshee-sympatico url = git@github.com:openai/baselines url = https://github.com/idank/bashlex url = https://github.com/vorpaljs/bash-parser url = https://github.com/erikfrey/bashreduce url = https://github.com/fjavieralba/basic_sentiment_analysis url = https://github.com/mit-probabilistic-computing-project/BayesDB url = https://github.com/bigbluebutton/bbb-install url = https://github.com/UKPLab/bea2016-spelling-difficulty url = https://github.com/gregdurrett/berkeley-entity url = https://github.com/juaner09/bettyprimacy url = git@github.com:bibanon/bibanon url = git://git.debian.org/git/collab-maint/bitcoin url = https://github.com/bixo/bixo/ url = https://github.com/BLLIP/bllip-parser url = https://github.com/artsince/boycott-api.git url = https://github.com/nlplab/brat url = https://github.com/mitre/brawl-public-game-001 url = https://github.com/jbalint/bspwm-sss url = https://github.com/rgabbard-bbn/bue-common-open url = https://github.com/oguzhaninan/Buka url = https://github.com/snavely/bundler_sfm url = https://github.com/AlexLandau/cadiaplayer-prolog-engine 3.48% Prolog url = https://github.com/nchambers/caevo url = https://github.com/dohmatob/calculability 5.53% Prolog url = https://github.com/mitre/caldera url = https://github.com/valeriobasile/candcapi url = https://github.com/karoleks4/Car-Parking-Planner 96.93% Prolog url = https://github.com/aricci303/cartago/ url = https://github.com/hltfbk/cas_access_example url = https://github.com/mitre/cascade-server url = https://github.com/TheCommieDuck/CatMUD 100.00% Prolog url = https://github.com/mhauskn/Causality-Extraction url = https://github.com/ADBI-george2/CausalRelation url = https://github.com/yyxfeng/CausalRelationExtraction url = https://github.com/fahadsultan/CausalRelations url = https://github.com/bwbaugh/causeofwhy url = https://github.com/simonkrenger/ch.bfh.bti7064.w2013.PrologParser 38.53% Prolog url = https://github.com/erkyrath/cheapglk url = https://github.com/Zeta36/chess-alpha-zero url = https://github.com/zblol/Chinese_SF url = git://git.gnome.org/chrome-gnome-shell url = https://github.com/scheib/chromium-latest-linux url = https://github.com/knowitall/chunkedextractor url = https://github.com/daltonj/CIIRShared.git url = https://bitbucket.org/planning-researchers/classical-domains.git url = https://github.com/Attempto/Clex 100.00% Prolog url = https://github.com/wmannis/cl-gambol url = https://github.com/sjl/cl-ggp/ url = git://www.swi-prolog.org/home/pl/git/ClioPatria.git 40.60% Prolog url = https://github.com/aistrate/ClocksinMellish 77.00% Prolog url = https://github.com/wbraswell/cloudforfree.org url = https://bitbucket.org/planning-researchers/cloud-solver.git url = https://github.com/cmungall/cltools 99.53% Prolog url = https://github.com/knowitall/cluewebextractor url = https://github.com/pmoulon/CMVS-PMVS url = https://bitbucket.org/planning-researchers/codmap-2015.git url = https://github.com/jamesmayfield/ColdStart.git url = https://github.com/UKPLab/coling-peoples2016-opinion-prediction url = https://gitlab.com/com-informatimago/com-informatimago url = https://github.com/awhillas/COMP9414 8.97% Prolog url = https://github.com/Compass/compass url = git@github.com:AbsInt/CompCert url = https://github.com/znmeb/Computational-Journalism-Publishers-Workbench url = https://github.com/commonsense/conceptnet.git url = https://github.com/commonsense/conceptnet5 url = https://github.com/EducationalTestingService/Confero url = git://cal8.cs.fau.de/cool url = https://github.com/philip-schrodt/CountryInfo-1 url = https://github.com/nandomp/Coverage-Graphs url = https://github.com/CPAN-API/cpan-api url = https://github.com/fmlab-iis/CPArec url = git://github.com/samidhtalsania/cplus2asp.git url = git://github.com/babb517/as2transition url = git://github.com/samidhtalsania/bcplusparser url = https://github.com/samidhtalsania/f2lp_wrapper url = https://github.com/comotion/cpm url = https://github.com/zhangxiangxiao/Crepe url = https://github.com/hltfbk/CROMER url = https://github.com/CRYTEK-CRYENGINE/CRYENGINE url = git://g.csail.mit.edu/cryptdb url = https://github.com/max99x/crystal url = http://github.com/csplib/csplib 32.96% Prolog url = https://github.com/CMUCTAT/CTAT url = https://github.com/TeamSPoon/CYC_JRTL_with_CommonLisp 0.00% Prolog url = https://github.com/AAAI-DISIM-UnivAQ/DALI 100.00% Prolog url = https://github.com/darkfeline/dantalian url = https://github.com/pjreddie/darknet url = https://github.com/dbpedia/dataid/ url = https://github.com/dbpedia/DataId-Ontology url = https://github.com/ftarin/datalogsolve 47.25% Prolog url = https://github.com/IQSS/dataverse url = https://github.com/eriktmueller/daydreamer url = https://github.com/darkfeline/dbooru url = https://github.com/dbpedia/DBpediaAI url = https://github.com/dbpedia-spotlight/dbpedia-spotlight/ url = https://github.com/mndrix/dcg_util 100.00% Prolog url = https://github.com/HazyResearch/deepdive.git url = https://github.com/thibo73800/deep_generation/ url = https://github.com/UKPLab/deeplearning4nlp-tutorial url = https://github.com/oreilly-japan/deep-learning-from-scratch url = https://github.com/kuz/DeepMind-Atari-Deep-Q-Learner url = https://github.com/oir/deep-recurrent url = https://github.com/Deft2013-Team/deft2013 url = https://github.com/antot/DELiC4MT url = http://git.linuxfoundation.org/dep-checker.git url = https://github.com/tomkwiat/dependency-graph-similarity-measure url = https://github.com/philip-schrodt/Dictionaries url = https://github.com/usc-isi-i2/dig-email-extractor/ url = https://github.com/KCL-Planning/DiNo url = https://github.com/EducationalTestingService/discourse-parsing url = https://github.com/acvogel/discriminative-ibr url = https://github.com/DeDiS/Dissent.git url = https://github.com/AmziLS/distribution url = https://github.com/raznis/dist-selfish-fd url = https://github.com/dkpro/dkpro-argumentation url = https://github.com/habernal/dkpro-argumentation-tutorial url = https://github.com/dkpro/dkpro-uby url = https://github.com/TeamSPoon/DLog 64.47% Prolog url = https://github.com/saiprashanths/dl-setup url = git://git.code.sf.net/p/dnrdalmas/git 100.00% Prolog url = https://github.com/SoarGroup/Domains-General-Game-Playing url = https://github.com/SoarGroup/Domains-Planning-Domain-Definition-Language url = git@github.com:id-Software/DOOM-3-BFG url = https://github.com/izahn/dotemacs url = https://github.com/seomoz/dragnet url = https://github.com/wzhishen/dragon-fighter 100.00% Prolog url = https://github.com/paolorotolo/droidcam url = https://github.com/USArmyResearchLab/Dshell url = https://github.com/DynamoRIO/dynamorio url = https://github.com/UKPLab/eacl17-oodFrameNetSRL url = https://bitbucket.org/tasse/eager-beaver.git url = https://github.com/ContentMine/EBI_workshop_20150330 url = https://github.com/Forns/eCause url = https://github.com/eteran/edb-debugger url = https://github.com/kouylekov/edits url = https://github.com/kalys/edx-ai-project2 url = https://github.com/filR/edX-CS188.1x-Artificial-Intelligence/ url = https://github.com/openeventdata/eldiablo url = https://github.com/dobkeratops/elisp url = https://code.google.com/p/elk-reasoner/ url = https://github.com/Skyyconnect/elle url = git://git.savannah.gnu.org/emacs.git 0.07% Prolog url = https://github.com/szermatt/emacs-bash-completion url = https://github.com/tromey/emacs-ffi url = https://github.com/jbalint/emacs-gargoyle url = https://github.com/bloat/emacs-glulx url = https://github.com/VincentToups/emacs-utils url = https://github.com/UKPLab/emnlp15-dim4auc url = https://github.com/UKPLab/emnlp2015-crowdsourcing url = https://github.com/UKPLab/emnlp2015-ih-ig url = https://github.com/UKPLab/emnlp2016-empirical-convincingness url = https://github.com/EmpireProject/Empire url = https://github.com/juster/emud url = https://github.com/cbenzmueller/Encyclopedia url = https://github.com/hltfbk/EOP-1.2.3 url = https://github.com/tiep/EP-ASP url = https://github.com/searchivarius/EphyraQuestionAnalysis url = https://github.com/tiep/EpistemicPlanning url = https://github.com/sysulic/EPK url = https://github.com/esbmc/esbmc/ url = https://github.com/newsreader/eso url = https://github.com/stamparm/EternalRocks url = https://github.com/nasa/europa url = https://github.com/philip-schrodt/eventdata url = https://github.com/shixing/EventExtraction url = https://github.com/paramitamirza/EventRelationExtractor url = git://git.code.sf.net/p/evolpr/code url = https://github.com/hltfbk/Excitement-Open-Platform url = https://github.com/hltfbk/Excitement-Open-Platform url = https://github.com/hltfbk/Excitement-TDMLEDA url = https://github.com/hltfbk/Excitement-Transduction-Layer url = https://github.com/U-Alberta/exemplar url = git@github.com:rla/expenses 26.57% Prolog url = https://github.com/linkyndy/expert-systems 100.00% Prolog url = https://github.com/idank/explainshell url = https://github.com/idank/explainshell-manpages url = https://github.com/dbpedia/extraction-framework url = https://github.com/babb517/f2lp url = https://github.com/gsingh93/facebook-cli url = https://github.com/factorie/factorie url = https://github.com/drsound/fault_tolerant_router url = http://git.fawkesrobotics.org/fawkes.git 0.36% Prolog url = https://github.com/facebook/fbctf url = git://source.ffmpeg.org/ffmpeg.git url = https://github.com/Netflix/Fido url = https://github.com/xiaoling/figer url = https://github.com/yyaghoobzadeh/figment url = https://github.com/yyaghoobzadeh/figment-multi url = https://github.com/twlabc123/FinalThesis url = https://github.com/schollz/find url = https://github.com/developersGW/FirstAid url = https://git.code.sf.net/p/flora/code url = https://github.com/AlexLandau/fluxplayer-prolog-engine/ 97.31% Prolog url = https://github.com/brainhack-poa/fmri-plan-recongnition url = git@github.com:PNPtutorials/FM_Transmitter_RPi3 url = https://github.com/HazyResearch/fonduer url = https://github.com/HazyResearch/fonduer-tutorials url = https://github.com/bennycheung/Food100_YOLO_Tools url = https://github.com/FoodOntology/foodon url = http://git.linuxfoundation.org/foss-barcode.git url = https://github.com/jordansissel/fpm/ url = https://github.com/TomVodopivec/FRI-GVGAI url = https://github.com/aig-upf/fs url = https://github.com/cboxdoerfer/fsearch url = https://github.com/clipland/fuse-taglayer url = https://github.com/Freeyourgadget/Gadgetbridge url = https://github.com/marian-margeta/gait-recognition url = https://github.com/richemslie/galvanise url = https://github.com/AlexLandau/game-ai-research url = https://github.com/Anniepoo/games4diversity 93.59% Prolog url = https://github.com/jredmondson/gams url = https://github.com/GradySimon/garcon url = https://github.com/google/gdata-java-client url = https://github.com/johnb30/gdelt_download url = https://github.com/gsingh93/gdl-parser url = https://github.com/AlexLandau/gdl-perf 7.45% Prolog url = https://github.com/richemslie/gdl-perf 7.68% Prolog url = https://github.com/Chicken-Bones/General-GPU-MCTS url = https://github.com/groundwater/gentoo-libbash url = https://github.com/GrammaticalFramework/GF 0.00% Prolog url = https://github.com/parthy/ggp 9.93% Prolog url = https://github.com/ggp-org/ggp-base url = git@github.com:michalkurzeja/GGP-Botter 100.00% Prolog url = https://github.com/muupan/ggpe 2.75% Prolog url = https://github.com/ggp-org/ggp-repository url = https://github.com/gsingh93/ggp-rs url = https://github.com/ghirensics/ghiro.git url = https://github.com/PressLabs/gitfs url = https://github.com/coyotebush/github-network-analysis url = https://github.com/caneroj1/gitRecommender url = https://github.com/heppu/gkill url = https://github.com/goblin/gnucash-perl.git url = git@github.com:coq-contribs/goedel url = https://github.com/schwering/golog url = https://github.com/openai/go-vncdriver url = https://github.com/vatsan/gp-ark-tweet-nlp url = https://github.com/stolk/GPGOAP url = https://github.com/jbush001/GPGPU url = https://github.com/RichardMoot/Grail0 93.04% Prolog url = https://github.com/morteza/grammars url = https://github.com/antlr/grammars-v4 url = https://github.com/kermitt2/grobid url = https://github.com/pluralsight/guides/ url = https://github.com/EssexUniversityMCTS/gvgai url = https://github.com/Vinyi/gvgAI url = https://github.com/adrienctx/gvgai-2014-adrienctx url = https://github.com/chongdashu/gvgai-cig-2015 url = https://github.com/Devking/GVGAI-Controllers url = https://github.com/chongdashu/gvgai-private url = git@github.com:openai/gym url = https://github.com/clips/hades url = https://github.com/agesmundo/HadoopPerceptron url = https://github.com/emacs-helm/helm url = https://github.com/spechub/Hets url = http://www.scs.stanford.edu/histar/gitrepo/ url = https://github.com/TeamSPoon/hml-km-graniteloom url = git@github.com:gravesjohnr/home-assistant url = https://github.com/gravesjohnr/home-assistant.github.io url = https://github.com/branning/hs100 url = https://github.com/sebastianbiallas/ht url = https://github.com/ronwalf/HTN-Translation url = https://github.com/abo-abo/hydra url = https://github.com/i7/i7grip url = https://github.com/igaray/iaj 0.45% Prolog url = https://github.com/AmziLS/ide 6.74% Prolog url = https://github.com/Atkrye/IEEE-CIG-Text-Adventurer-Competition url = https://github.com/harvardnlp/im2markup url = https://github.com/knowitall/implie url = https://github.com/genelkim/ImplIE url = https://github.com/genelkim/ImplIE url = git://git.code.sf.net/p/indigolog/code 99.90% Prolog url = https://github.com/baojie/indus url = https://github.com/facebook/infer url = https://github.com/IKANOW/Infinit.e.git url = https://github.com/DavidKinder/Inform6 url = https://github.com/adamkhazi/information-extraction-system url = https://github.com/iancanderson/ingreedy url = https://github.com/AmziLS/interfaces 3.41% Prolog url = https://github.com/mndrix/interpolate 100.00% Prolog url = https://github.com/patrikhaslum/INVAL url = https://github.com/sorear/IO-Pty-HalfDuplex url = https://github.com/zettca/ist.lp.labyrinths 99.40% Prolog url = https://github.com/lfit/itpol/ url = https://github.com/jdahaldev/itsimple 0.16% Prolog url = https://github.com/tvaquero/itsimple 0.15% Prolog url = https://github.com/josephwilk/iwfms 18.94% Prolog url = https://github.com/arturogf/jabbah url = https://github.com/chetannaik/jacana url = https://github.com/jflanigan/jamr url = http://git.linuxfoundation.org/janitor.git url = https://github.com/agibsonccc/java-deeplearning url = https://github.com/shaybcohen/jdageem url = git://git.code.sf.net/p/jdalmas/git url = https://github.com/logicmoo/jellyfish 92.75% Prolog url = https://github.com/fmorbini/jmNL url = https://github.com/migueldoctor/JPlanRecognizer url = https://github.com/timheap/jquery-xmlrpc url = https://github.com/mndrix/julian 100.00% Prolog url = https://github.com/CIIR/julien.git url = https://github.com/cltl/KafAnnotator/ url = https://github.com/opener-project/kaf-naf-parser url = https://github.com/EragonJ/Kaku url = https://github.com/kaldi-asr/kaldi url = https://github.com/szeke/karma-tcdl-tutorial url = https://github.com/KWARC/KAT url = https://code.google.com/p/kba-sql/ url = https://github.com/trec-kba/kba-tools url = https://github.com/daltonj/KbBridge.git url = https://github.com/daltonj/kbbridge-factorie url = https://github.com/rgabbard-bbn/kbp-2014-event-arguments url = https://github.com/nrhawkins/KBP2015-ColdStart-SlotFilling url = https://github.com/dkmfbk/ke4ir-evaluation url = https://github.com/SCI2SUGR/KEEL url = https://github.com/codekansas/keras-language-modeling url = https://github.com/gsingh93/keylogger url = https://github.com/rohandaxini/knowbuddy url = https://github.com/paolo7/KnowHowDataset url = https://bitbucket.org/datasci/knowledge-expansion.git url = https://github.com/peterexner/KOSHIK/ url = https://github.com/wbraswell/lampuniversity.org url = http://www.github.com/neubig/lamtram url = https://github.com/clab/language-universal-parser url = https://github.com/miquelramirez/LAPKT-public.git url = https://github.com/AlessandroZ/LaZagne url = https://github.com/lgbtlagrandludumdare41/ld41 47.80% Prolog url = https://github.com/ldspider/ldspider url = https://github.com/valeriobasile/learningbyreading 26.49% Prolog url = https://github.com/Johnicholas/learn_to_soar 54.33% Prolog url = https://github.com/UKPLab/lemonUbyExport url = https://github.com/leoprover/Leo-III url = https://github.com/cbenzmueller/LeoPARD url = https://github.com/thephoeron/let-over-lambda url = https://github.com/libarchive/libarchive url = https://github.com/chetan51/linguist url = https://github.com/KIZI/LinkedHypernymsDataset url = https://github.com/tetherless-world/linkipedia url = https://github.com/TeamSPoon/lisp5000 15.15% Prolog url = https://github.com/KWARC/llamapun url = https://github.com/TeamSPoon/logicmoo 85.46% Prolog url = https://github.com/LogtalkDotOrg/logtalk2 34.27% Prolog url = https://github.com/LogtalkDotOrg/logtalk3 23.81% Prolog url = https://github.com/mrkkrp/lpnes 100.00% Prolog url = https://bitbucket.org/lpsmasters/lps_corner.git 18.81% Prolog url = https://github.com/UKPLab/lrec2016-ubyline url = https://github.com/UKPLab/lsdsem2017-story-cloze url = https://github.com/claritylab/lucida url = https://github.com/SWI-PrologTeamLudumDare32/LudumDare 18.84% Prolog url = https://github.com/miquelramirez/lwaptk url = https://github.com/DennisSoemers/MaastCTS2 url = https://github.com/raiben/made 87.85% Prolog url = https://github.com/stolba/MADLAPlanner url = https://github.com/MADPToolbox/MADP url = https://github.com/gti-ia/magentix url = https://code.google.com/p/males/ url = https://github.com/danfis/maplan url = https://github.com/pakoito/MarI-O url = https://github.com/jeffreykegler/Marpa--R2 url = https://github.com/jeffreykegler/Marpa--R3 url = https://github.com/robertdavidgraham/masscan url = https://github.com/moridinamael/mc-aixi url = https://github.com/scrapinghub/mdr url = https://github.com/UKPLab/mdswriter url = https://github.com/dallascard/media_frames_corpus url = https://github.com/alpv95/MemeProject url = https://github.com/meneguzzi/meneguzzi-website url = https://github.com/sysulic/MEPK url = https://github.com/CPAN-API/metacpan-examples url = https://github.com/metagol/metagol 100.00% Prolog url = https://github.com/froggey/Mezzano url = https://github.com/VerticalResearchGroup/miaow url = https://github.com/betomaluje/Mi-Band url = https://github.com/pangliang/miband-sdk-android url = https://github.com/jamesob/Miser/ url = https://github.com/MISP/MISP url = https://github.com/mit-nlp/MITIE.git url = https://github.com/jessealama/mizar-items 0.03% Prolog url = https://github.com/jessealama/mizarmode url = https://github.com/UniFormal/MMT url = git@github.com:melahi/Modaber url = https://github.com/tensorflow/models.git url = https://github.com/tensorflow/tensorflow.git url = http://github.com/chromatic/modern_perl_book/ url = https://github.com/JSybrandt/MOLIERE url = https://github.com/opencog/moses url = https://github.com/moses-smt/mosesdecoder.git url = https://github.com/hltfbk/MT-EQuAl url = https://github.com/TeamSPoon/MUD_DeepParsing 97.72% Prolog url = https://github.com/TeamSPoon/MUD_Examples 76.39% Prolog url = https://github.com/TeamSPoon/MUD_Interpretors 56.38% Prolog url = https://github.com/TeamSPoon/MUD_PDDL 67.11% Prolog url = https://github.com/TeamSPoon/MUD_WebTHEA 87.94% Prolog url = https://github.com/TeamSPoon/MUD_XperiMental 99.54% Prolog url = https://github.com/strikeout/mylar url = https://github.com/wbraswell/myshinytemplate.com url = https://github.com/UKPLab/naacl-bea2016-writing-study url = https://github.com/newsreader/NAF.git url = https://github.com/automenta/narchy 0.06% Prolog url = https://github.com/jiahaog/nativefier url = https://github.com/MrKepzie/Natron 0.01% Prolog url = https://github.com/codrops/NaturalLanguageForm url = https://github.com/godlytalias/Natural-Language-Processing url = https://github.com/smbale/Natural-Language-UI url = https://github.com/gangeli/NaturalLI url = https://github.com/TheCommieDuck/nell-extractor url = https://github.com/TAEB/NetHack-Item url = https://github.com/TAEB/NetHack-Item url = https://github.com/knowitall/NewsScraper url = https://github.com/pcyin/NL2code url = https://github.com/jadielam/nl2kr url = https://github.com/emorynlp/nlp4j url = https://github.com/erelsgl/nlu-server url = https://github.com/mburns/nomic url = https://github.com/nomyx/Nomyx url = git@github.com:RobertSasak/norgesruter.no url = https://github.com/cbarrick/normalization 100.00% Prolog url = https://github.com/desire2020/NTG-Papers url = https://github.com/numenta/nupic url = https://github.com/jtauber/nupic-texts url = https://github.com/pprett/nut url = https://github.com/rachelslurs/nutrition-facts/ url = git@github.com:NVIDIA/nvidia-docker url = https://github.com/anuzzolese/oke-challenge-2016 url = https://github.com/claritylab/sirius url = https://github.com/knowitall/ollie.git url = git@github.com:theoremprover-museum/OMEGA url = https://bitbucket.org/datasci/ontological-pathfinding.git url = https://github.com/ontopia/ontopia url = git@github.com:antsam/openalpr url = https://github.com/OpenCCG/openccg url = https://github.com/opencog/opencog url = https://github.com/qgriffith/OpenEats url = https://github.com/ericleiyang/Openephyra url = https://github.com/TScottJ/OpenEphyra url = git@github.com:cmusatyalab/openface url = https://github.com/oreillymedia/open_government.git url = https://github.com/knowitall/openie url = https://github.com/OpenIotOrg/openiot url = git://git.code.sf.net/p/openkbp/code url = https://github.com/antsam/open_nsfw url = https://github.com/structureddynamics/Open-Semantic-Framework-Installer url = https://github.com/nasa/OpenSPIFe/ url = https://github.com/emericg/OpenSubtitlesDownload url = https://github.com/cltl/opinion_miner_deluxe url = https://github.com/afader/oqa url = http://trac.laas.fr/git/robots/oro.git url = https://github.com/TeamSPoon/ors 52.89% Prolog url = https://github.com/ossmeter/ossmeter url = https://github.com/georgemouse/othello-pl 100.00% Prolog url = https://github.com/ozoneplatform/ozp-releases url = https://github.com/TeamSPoon/packages-eclisp 11.58% Prolog url = https://github.com/SWI-Prolog/packages-jpl 28.94% Prolog url = https://github.com/SWI-Prolog/packages-ltx2htm 52.07% Prolog url = https://github.com/MDB22/Pacman url = https://github.com/pangdudu/pain url = https://github.com/yfuna/paip-el url = https://github.com/norvig/paip-lisp url = https://github.com/parallella/parallella-hw url = https://github.com/hltcoe/parma url = https://github.com/hltcoe/parma2 url = https://github.com/dieb/pattern-recognition-for-text-documents-classification url = https://github.com/pddlmemory/PDDLMemory url = https://github.com/guicho271828/pddl.scheduler url = https://github.com/hbrouwer/pdrt-sandbox url = https://github.com/pegasus-isi/pegasus url = https://github.com/girving/pentago url = https://github.com/Tiago-NYU/Perceptron-GVGAI url = https://github.com/pericles-project/pet url = https://github.com/openeventdata/petrarch url = git@github.com:TeamSPoon/pfc 100.00% Prolog url = https://github.com/kazeto/phillip url = https://github.com/philip-schrodt/phoenix_pipeline url = git@github.com:kevinroast/phoria.js url = https://github.com/dkmfbk/pikes url = https://github.com/bluescarni/piranha url = https://github.com/NVIDIA/pix2pixHD url = https://github.com/lsa-pucrs/planlib-generator url = https://github.com/cangiuli/planning url = https://github.com/ramonpereira/Planning-GoalRecognition url = https://github.com/unisonweb/platform url = https://github.com/smart-pucrs/PLGenerator url = https://github.com/sebity/plOpenGL 33.16% Prolog url = https://github.com/JanWielemaker/plsheet 99.44% Prolog url = https://github.com/Anniepoo/plweb 36.44% Prolog url = https://github.com/Anniepoo/plweb-www 1.64% Prolog url = https://github.com/kenoir/polysemous 13.09% Prolog url = https://github.com/scrapinghub/portia url = https://github.com/miquelramirez/pr-as-planning-demo url = https://github.com/kdudka/predator url = https://github.com/PredictionIO/PredictionIO url = https://github.com/schwering/prgolog-old 2.93% Prolog url = https://github.com/cbenzmueller/PrincipiaMetaphysica url = https://github.com/opcode81/ProbCog url = https://github.com/aig-upf/probe url = https://github.com/QuillCloud/Prolog-BDI-Agent 100.00% Prolog url = https://github.com/dlaufer/prolog-dungeon-battle 100.00% Prolog url = https://github.com/Mortimerp9/Prolog-Graphplan 100.00% Prolog url = https://github.com/TeamSPoon/PrologMUD 99.15% Prolog url = https://github.com/RobertSasak/Prolog-Planning-Library 73.40% Prolog url = https://github.com/jcoder58/PrologTutorials url = https://github.com/opensim4opencog/PrologVirtualWorlds 30.74% Prolog url = https://github.com/propbank/propbank-frames url = https://github.com/propbank/propbank-release url = https://github.com/Microsoft/prose url = https://github.com/CIIR/Proteus.git url = https://github.com/prova/prova url = https://github.com/miquelramirez/pr-over-plan-libraries-2009 url = git@github.com:delihiros/pseudogen url = https://gitlab.fel.cvut.cz/tozicjan/psm-planner url = https://github.com/dlwh/puck url = https://github.com/samowre/PVS.git 0.05% Prolog url = https://github.com/nasa/pvslib.git url = https://github.com/caerusassociates/PyPhox url = https://github.com/uber/pyro/ url = https://github.com/Garee/pytodoist url = https://github.com/merah-putih/qualm url = https://github.com/facebookresearch/QuaterNet url = https://github.com/radare/radare2 url = https://github.com/schasins/reactive-motion-planning-synthesis url = https://github.com/johannesloetzsch/reasonablepy url = https://github.com/pks/rebol 2.58% Prolog url = https://github.com/onetsp/RecipeParser url = https://github.com/peterexner/REFRACTIVE url = https://github.com/beroth/relationfactory url = https://github.com/kristjankorjus/Replicating-DeepMind 18.00% Prolog url = git@github.com:auth0/repo-supervisor url = https://github.com/SemanticSoftwareLab/ReqWiki url = git@github.com:jakemmarsh/resolution-theorem-prover url = https://github.com/dmap-group/resources url = git@github.com:openai/retro-baselines url = http://github.com/openai/retro-contest url = https://github.com/openai/retro url = https://github.com/libretro/stella-libretro.git url = https://github.com/libretro/Genesis-Plus-GX.git url = https://github.com/google/googletest.git url = https://github.com/nih-at/libzip.git url = http://luajit.org/git/luajit-2.0.git url = https://github.com/pybind/pybind11.git url = https://github.com/openai/retro url = https://github.com/libretro/stella-libretro.git url = https://github.com/libretro/Genesis-Plus-GX.git url = https://github.com/google/googletest.git url = https://github.com/nih-at/libzip.git url = http://luajit.org/git/luajit-2.0.git url = https://github.com/pybind/pybind11.git url = https://github.com/knowitall/reverb-core.git url = https://github.com/JanWielemaker/rits 57.81% Prolog url = https://github.com/acmeism/RosettaCodeData url = https://github.com/ingydotnet/rosettacode-pm url = https://github.com/emina/rosette url = https://github.com/ondras/rot.js url = https://github.com/tobykurien/rpi_lcars url = git@github.com:F5OEO/rpitx url = git@github.com:merbanan/rtl_433 url = https://github.com/pwarren/rtl-entropy url = https://github.com/scymtym/rudel url = https://github.com/netj/sagh url = https://github.com/canidae/saiph url = https://code.google.com/p/sasa-tool/ url = https://github.com/swubb/SatiricLR url = https://github.com/IllinoisCogComp/saul url = https://github.com/croeder/schank-computer-understanding url = http://www.github.com/sfahlman/scone url = https://github.com/benjamin-adrian/scoobie url = https://github.com/openeventdata/scraper url = https://github.com/scrapy/scrapy url = https://github.com/seagatesoft/sde url = https://github.com/PerlGameDev/SDL_Manual url = https://github.com/gempesaw/Selenium-Remote-Driver url = https://github.com/floreal/selenium-server-deb-package url = https://github.com/Noahs-ARK/semafor url = https://github.com/Noahs-ARK/semafor-semantic-parser url = https://github.com/amore-upf/semeval2018-task4 url = https://github.com/SemLinker-Team/SemLinker url = https://github.com/percyliang/sempre url = https://github.com/sammthomson/semviz url = https://github.com/metamath/set.mm url = https://github.com/TeamSPoon/s_expression 100.00% Prolog url = https://github.com/arbox/shalmaneser url = https://github.com/SamKr/SharpWit url = https://github.com/deech/shen-elisp url = https://github.com/denny/ShinyCMS url = https://github.com/calyau/shop2 url = https://github.com/UKPLab/sigir2016-collection-for-focused-retrieval url = https://github.com/TeamSPoon/sigma_ace 30.61% Prolog url = https://github.com/ontologyportal/sigmakee url = https://github.com/sikuli/sikuli url = https://github.com/gsingh93/simple-key-logger url = https://github.com/claritylab/sirius url = https://github.com/gwolf/sistop url = https://github.com/rfk/sitcalc_async_knowledge 100.00% Prolog url = https://github.com/cchrewrite/SLDR-DL 100.00% Prolog url = https://github.com/smackers/smack url = https://github.com/blackthorne/smart-pacman 100.00% Prolog url = https://github.com/snowblink14/smatch url = https://github.com/KCL-Planning/SMTPlan url = https://github.com/yegord/snowman url = https://github.com/socioboard/socioboard-core url = https://github.com/Tarrasch/sokoban-planner url = https://github.com/AdrienGuille/SONDY url = git@github.com:chrislo/sourceclassifier url = git://dev.gnutelephony.org/project/sources.git url = https://github.com/explosion/spaCy url = https://github.com/iensen/sparc url = https://github.com/murdoc02/speech_act_classifier url = https://github.com/a2l007/Speech-Act-Classifier url = https://github.com/gigasquid/speech-acts-classifier url = https://github.com/UKPLab/spelling-experiments url = https://github.com/cornell-lic/spf url = https://github.com/palaska/splendor-prolog-agent 100.00% Prolog url = https://github.com/janwieners/SpoookyJS url = https://github.com/xypiie/spread0r url = https://github.com/knowitall/srlie url = https://github.com/SSCIPaperSubmitter/ssciPDDLPlanner url = https://github.com/MaartenBaert/ssr url = https://github.com/oguzhaninan/Stacer url = https://github.com/IronSummitMedia/startbootstrap-agency url = https://gitorious.org/stet/stet.git url = https://github.com/antsam/storify 100.00% Prolog url = https://github.com/trec-kba/streamcorpus url = https://github.com/primaryobjects/strips url = http://github.com/zhouh/StructNNConParser url = https://github.com/wware/stuff url = git@github.com:ontologyportal/sumo url = https://github.com/miso-belica/sumy url = https://github.com/dbeyer/sv-benchmarks url = https://github.com/innerfirexy/swbd-DA url = https://github.com/WING-NUS/SWING.git url = https://github.com/Anniepoo/swipldcgtut 8.84% Prolog url = git@github.com:SWI-Prolog/swipl-devel.git 42.63% Prolog url = https://github.com/Anniepoo/swiplmetatut/ 0.18% Prolog url = https://github.com/Anniepoo/swiplsitedesign url = https://github.com/rishabhs/sygus-comp14 url = https://github.com/mmjb/T2 url = https://github.com/philip-schrodt/TABARI-Code url = https://github.com/philip-schrodt/TABARI-Dictionaries url = https://github.com/hicannon/TAC-2013-KBP-English-Sentiment-Slot-Filling url = https://github.com/nrhawkins/tac2015 url = https://github.com/UKPLab/tac2015-event-detection url = https://github.com/prafulla77/TAC-KBP-2017-Participation url = https://github.com/BBN-E/tac-kbp-eal url = https://github.com/cgl/tac_kbp_events url = https://github.com/UKPLab/tacl2016-trainingdata4srl url = https://github.com/TAEB/TAEB url = git://github.com/TAEB/TAEB-AI-Behavioral.git url = git://github.com/TAEB/TAEB-AI-Planar.git url = https://github.com/StrumentiResistenti/Tagsistant.git url = https://github.com/laura-dietz/taia-stream-eval/ url = https://github.com/paramitamirza/TempCauseRelPro url = http://github.com/sjl/temperance/ url = https://github.com/padelt/temper-python url = https://github.com/taksan/tenarion 98.13% Prolog url = https://github.com/mndrix/term_diff 100.00% Prolog url = https://github.com/cmu-phil/tetrad url = https://github.com/whitten/texai url = https://github.com/typpo/textbelt url = https://github.com/utcompling/textgrounder url = https://github.com/philip-schrodt/text_to_CAMEO url = https://github.com/jkoutsikakis/Textual-Entailment-With-Deep-Learning url = https://github.com/okfn/textus url = https://github.com/mrkulk/text-world url = https://github.com/karthikncode/text-world-player url = https://github.com/nvbn/thefuck url = https://github.com/windsteiger/Theorema url = https://github.com/triska/the-power-of-prolog 17.18% Prolog url = https://github.com/jvandenbroeck/The-Turk 35.23% Prolog url = https://github.com/whitten/thoughttreasure url = https://github.com/jweese/thrax url = https://github.com/LanguageMachines/ticcutils url = https://github.com/tianran/tifmo url = https://github.com/tianran/tifmo url = https://bitbucket.org/planning-researchers/timeline-viewer.git url = https://github.com/jessealama/tipi url = https://www.github.com/aidin36/tocc/ url = https://github.com/zk-phi/togetherly url = https://github.com/johnyf/tool_lists/ url = https://github.com/torchnet/torchnet url = https://github.com/schwering/torcs-drivers url = https://github.com/darkfeline/torrent-preview url = https://github.com/jessealama/tptp-el url = http://github.com/traildb/traildb url = https://github.com/saysilence/transparentwindows url = https://github.com/nikgarg/TRBMParsing url = https://github.com/trec-dd/trec-dd-jig url = https://github.com/borodust/trivial-gamekit url = https://github.com/tarsqi/ttk url = https://github.com/hltcoe/turkle url = https://github.com/owntracks/turnkey-owntracks url = git@github.com:codetheweb/tuyapi url = https://github.com/ktisha/tweet-spirit url = http://github.com/hayamiz/twittering-mode url = https://github.com/aritter/twitter_nlp url = https://github.com/cbenzmueller/TypesTableauxAndGoedelsGod url = https://github.com/knowrob/uima_prolog 2.82% Prolog url = https://github.com/knowitall/UIUCWikifier2013Wrapper url = https://github.com/asoroa/ukb.git url = https://github.com/structureddynamics/UMBEL url = https://github.com/UniMath/UniMath url = https://github.com/aig-upf/universal-pddl-parser url = https://github.com/aig-upf/universal-pddl-parser-multiagent url = git@github.com:openai/universe url = https://github.com/openai/universe-starter-agent url = https://github.com/fab1an/unix-admin-tools/ url = https://bitbucket.org/planning-tools/unsolve-ipc-2016.git url = https://github.com/Workday/upshot-montague url = https://github.com/cjhutto/vaderSentiment url = https://github.com/KCL-Planning/VAL url = http://github.com/pauljaxon/vct/ url = https://github.com/jedi4ever/veewee url = https://github.com/cyclotron3k/vindinium-starter-perl url = https://github.com/borisvassilev/vindinium-swi 100.00% Prolog url = https://github.com/TeamSPoon/virtstoryteller 39.39% Prolog url = https://github.com/ContentMine/vms url = https://github.com/JohnLangford/vowpal_wabbit url = https://github.com/PrincetonUniversity/VST url = https://github.com/TeamSPoon/wam_common_lisp 27.05% Prolog url = https://github.com/baidu-research/warp-ctc url = https://github.com/jsvine/waybackpack url = https://github.com/underspecified/web-ka url = https://github.com/usc-isi-i2/Web-Karma url = https://github.com/TeamSPoon/webODE url = https://github.com/wouterbeek/WebQR 58.06% Prolog url = https://github.com/kaushiksivaprasad/WebServiceComposition url = https://github.com/JackyCSer/WebServiceCompositionSystem url = https://github.com/BigZaphod/Whirl 45.90% Prolog url = https://github.com/UKPLab/wikulu url = https://github.com/aragorn/wisebot url = https://github.com/endSly/world-universities-csv url = https://github.com/hhkb/WSC09-Composition-System-Implementation url = https://github.com/knowm/XChange url = https://github.com/KashaMalaga/XiaomiMiBand url = https://github.com/eazar001/yesbot 100.00% Prolog url = https://github.com/accreator/Yixin-Board url = https://github.com/mishoo/ymacs/ url = https://github.com/claritylab/yodaqa url = git@github.com:rg3/youtube-dl url = https://github.com/tokland/youtube-upload url = https://github.com/Z3Prover/z3 url = https://github.com/sshirokov/ZNC.el url = git@github.com:opskeleton/zoneminder-sandbox url = https://github.com/isi-nlp/Zoph_RNN