codieplusplus

Image for development of elykseer in OCaml and theorem proving in Coq; current version: v0.9.13

duckdb executables for multiple Linux platforms see https://github.com/CodiePP/duckdb_containers

duckdb executables for multiple Linux platforms see https://github.com/CodiePP/duckdb_containers

minimal image containing redir for port forwarding

Image of binaries of elykseer in OCaml (extracted code from Coq)

GNU Prolog in Docker (http://gprolog.org/)

GNU Prolog in Docker (http://gprolog.org/)

Prolog interface to Apache Kafka

Indexed predicates in Prolog

Prolog utilities