Pinned Repositories
api4kbs
API for Knowledge Bases
bhmm
Bayesian hidden Markov models toolkit
book
A textbook on informal homotopy type theory
cats
Lightweight, modular, and extensible library for functional programming.
Common-Logic
Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
CourseraCodeSamplesReactiveProgramming
reactive-examples
Unofficial Scala worksheet examples to accompany the Coursera Reactive Programming course
ruleml-usecases
Selected RuleML Usecases
xcl2
Draft proposal for the revised XML syntax of Common Logic
greenTara's Repositories
greenTara/reactive-examples
Unofficial Scala worksheet examples to accompany the Coursera Reactive Programming course
greenTara/Common-Logic
Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
greenTara/ruleml-usecases
Selected RuleML Usecases
greenTara/xcl2
Draft proposal for the revised XML syntax of Common Logic
greenTara/api4kbs
API for Knowledge Bases
greenTara/bhmm
Bayesian hidden Markov models toolkit
greenTara/book
A textbook on informal homotopy type theory
greenTara/cats
Lightweight, modular, and extensible library for functional programming.
greenTara/CourseraCodeSamplesReactiveProgramming
greenTara/deliberation-ruleml
greenTara/DOL
The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/ebnf-OMG_OntoIOp_current.pdf. Homepage of OntoIOp is
greenTara/flink
Mirror of Apache Flink
greenTara/http4s
A minimal, idiomatic Scala interface for HTTP
greenTara/ILED
Incremental Learning Event Definitions
greenTara/impapp
resolution of circular importations within text operators
greenTara/issues-ruleml
A repository solely for RuleML issues. No schemas or documents should be committed here.
greenTara/Java4CL
A Java library for ISO Common Logic ontologies.
greenTara/kungfunctional
tests of JVM-based functional programming libraries
greenTara/LoMRF
LoMRF is an open-source implementation of Markov Logic Networks.
greenTara/msmtools
Tools for estimating and analyzing Markov state models
greenTara/OntoMaven
Maven-based ontology development and management of ontology artifacts in distributed ontology repositories.
greenTara/OOjDREW
OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)
greenTara/PyEMMA
Python API for Emma's Markov Model Algorithms
greenTara/reaction-ruleml
Reaction RuleML
greenTara/RSP-QL
An home of RSP-QL syntax and semantics discussion
greenTara/RTEC
Run-Time Event Calculus
greenTara/ruleml-relfun
greenTara/ruleml-website
static files used to generate the RuleML website except for usecases and 1.0 spec
greenTara/scala-xml-printing
Print arbitrary case classes and other values at runtime - into XML
greenTara/Scala4KB
a Scala DSL for Knowledge Bases