C

codieplusplus

Community User

Displaying 1 to 11 of 11 repositories

codieplusplus/duckdb

625

0

By codieplusplus

Updated 5 months ago
duckdb executables for multiple Linux platforms see https://github.com/CodiePP/duckdb_containers
Data Science
Databases & Storage
Machine Learning & AI
codieplusplus/duckdb-debian

31

0

By codieplusplus

Updated 6 months ago
duckdb executables for multiple Linux platforms see https://github.com/CodiePP/duckdb_containers
Data Science
Databases & Storage
Machine Learning & AI
codieplusplus/elykseer-ml

51

0

By codieplusplus

Updated 7 months ago
Image for development of elykseer in OCaml and theorem proving in Coq; current version: v0.9.13
Integration & Delivery
Security
Developer Tools
codieplusplus/redir_docker

59

0

By codieplusplus

Updated 9 months ago
minimal image containing redir for port forwarding
Networking
codieplusplus/elykseer-ml-binaries

25

0

By codieplusplus

Updated 9 months ago
Image of binaries of elykseer in OCaml (extracted code from Coq)
Integration & Delivery
Security
Developer Tools
codieplusplus/gprolog.arm64

31

0

By codieplusplus

Updated 3 years ago
GNU Prolog in Docker (http://gprolog.org/)
codieplusplus/gprolog.amd64

41

0

By codieplusplus

Updated 3 years ago
GNU Prolog in Docker (http://gprolog.org/)
codieplusplus/pl_kafka

171

0

By codieplusplus

Updated 4 years ago
Prolog interface to Apache Kafka
codieplusplus/predidx

137

0

By codieplusplus

Updated 4 years ago
Indexed predicates in Prolog
codieplusplus/prolog-utilities

130

0

By codieplusplus

Updated 4 years ago
Prolog utilities