Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / HarvardPL / formulog

Datalog with support for SMT queries and first-order functional programming

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HarvardPL%2Fformulog

Stars: 140
Forks: 8
Open Issues: 8

License: apache-2.0
Language: Java
Repo Size: 2.85 MB
Dependencies: 15

Created: about 5 years ago
Updated: 3 months ago
Last pushed: 7 months ago
Last synced: 3 months ago

Topics: datalog, logic-programming, smt, static-analysis, symbolic-execution

Files
    Loading...
    Readme
    Loading...
    Dependencies
    pom.xml maven
    Dockerfile docker
    .github/workflows/maven.yml actions