Skip to content
View takumiko's full-sized avatar

Block or report takumiko

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. packages-jpl packages-jpl Public

    Forked from SWI-Prolog/packages-jpl

    JPL: The Prolog <-> Java interface

    Java

  2. grefine-rdf-extension grefine-rdf-extension Public

    Forked from stkenny/grefine-rdf-extension

    An extension to OpenRefine that enables graphical mapping of OpenRefine project data to an RDF skeleton and then exporting it in RDF format

    Java

  3. OpenRefine OpenRefine Public

    Forked from OpenRefine/OpenRefine

    OpenRefine is a free, open source power tool for working with messy data and improving it

    Java

  4. clipper clipper Public

    Forked from ghxiao/clipper

    A Reasoner for Conjunctive Query Answering over Horn-SHIQ via Query Rewriting

    Web Ontology Language

  5. z3 z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C

  6. yices2 yices2 Public

    Forked from SRI-CSL/yices2

    The Yices SMT Solver

    SMT