Tara Athan's repositories
reactive-examples
Unofficial Scala worksheet examples to accompany the Coursera Reactive Programming course
Common-Logic
Documents for the developments of ISO 24707 Editiion 2 (Common Logic)
ruleml-usecases
Selected RuleML Usecases
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.
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
flink
Mirror of Apache Flink
http4s
A minimal, idiomatic Scala interface for HTTP
ILED
Incremental Learning Event Definitions
impapp
resolution of circular importations within text operators
issues-ruleml
A repository solely for RuleML issues. No schemas or documents should be committed here.
Java4CL
A Java library for ISO Common Logic ontologies.
kungfunctional
tests of JVM-based functional programming libraries
LoMRF
LoMRF is an open-source implementation of Markov Logic Networks.
OntoMaven
Maven-based ontology development and management of ontology artifacts in distributed ontology repositories.
OOjDREW
OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)
PyEMMA
Python API for Emma's Markov Model Algorithms
reaction-ruleml
Reaction RuleML
RSP-QL
An home of RSP-QL syntax and semantics discussion
RTEC
Run-Time Event Calculus
ruleml-website
static files used to generate the RuleML website except for usecases and 1.0 spec
scala-xml-printing
Print arbitrary case classes and other values at runtime - into XML