Software, Tools, and Platforms

Below are some recent open source tools and platforms I developed:

  • Scorca

    Scorca is an open-source bot designed to play Reconnaissance Blind Chess (RBC). It was created as part of a research project investigating knowledge modelling, sensing strategies, and moving strategies in RBC.
    See details on GitHub.
    >paper
    DOI

  • ANN'it

    A user-friendly interface for fast annotation of entities and triples.
    See details on GitHub.
    >paper
    DOI


    • Below are some outdated software/platforms that I developed but no longer maintained.


  • Holala

    HOLALA is HOL Light with an extended kernel. Instead of taking only = as primitive symbol, HOLALA takes also ∀ and ⇒ as primitive symbols.
    See details on github and HAL.
    DOI

  • Holide

    Holide is a proof translator. It takes proofs in OpenTheory's Repo and translates them to Dedukti format for proof checking. The most recent version is Holide2 (for proofs articles in OpenTheory version 6).
    See details on github and HAL.
    DOI

  • ProofCloud

    ProofCloud is a proof search engine based on Swiftype for verified proofs debuted as a platform for the representation of proof checking and proof analysis results. There are in total 1,687 proofs.
    Find your proofs at ProofCloud.
    ProofCloud inspired the Dalilcoin explorer (a blockchain-based proof publishing system). Its interface used the design of ProofCloud.
    DOI

  • TuringLearner

    TuringLearning is a platform implemented in C++ that could be extended for evaluation of co-evolutionary learning tasks. It was used for my master's thesis for the evaluation of integrating Nash Memory with Turing Learning. The design of the platform and how it can be extended for other tasks are described in the thesis. Please see the link below for details and the source code.
    DOI