Skip to content
View greenTara's full-sized avatar

Organizations

@RuleML @API4KBs

Block or report greenTara

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. reactive-examples reactive-examples Public

    Unofficial Scala worksheet examples to accompany the Coursera Reactive Programming course

    Scala 51 27

  2. Common-Logic Common-Logic Public

    Forked from gruninger/Common-Logic

    Documents for the developments of ISO 24707 Editiion 2 (Common Logic)

    1

  3. ruleml-usecases ruleml-usecases Public

    Forked from RuleML/ruleml-usecases

    Selected RuleML Usecases

    Prolog 1

  4. xcl2 xcl2 Public

    Forked from RuleML/xcl2

    Draft proposal for the revised XML syntax of Common Logic

    1

  5. OOjDREW OOjDREW Public

    Forked from OOjDREW/OOjDREW

    OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)

    Java

  6. Test-Issue-Tracker Test-Issue-Tracker Public

    Issue Tracker Test

    8