Skip to content
@StarExec

StarExec

Popular repositories Loading

  1. StarExec StarExec Public

    StarExec is a cross community logic solving service

    Java 17 8

  2. Web-Interface Web-Interface Public

    StarExec Web Interface Documentation

    TeX 1

  3. code-prettify code-prettify Public

    JavaScript

Repositories

Showing 3 of 3 repositories
  • StarExec Public

    StarExec is a cross community logic solving service

    Java 17 MIT 8 139 (7 issues need help) 12 Updated Jun 19, 2024
  • Web-Interface Public

    StarExec Web Interface Documentation

    TeX 1 0 0 0 Updated Feb 18, 2018
  • code-prettify Public
    JavaScript 0 Apache-2.0 0 0 0 Updated Sep 22, 2017

Top languages

Loading…

Most used topics

Loading…