clif

Here are 3 public repositories matching this topic...

A Python wrapper for Kaldi

python wrapper numpy speech feature-extraction speech-recognition kaldi language-model asr openfst clif

Logic plus python types

python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml

backup of @thahmann's macleod (python2 version) from april 2016 commit

python backup tptp vampire clif macleod ladr

Add a description, image, and links to the clif topic page so that developers can more easily learn about it.

To associate your repository with the clif topic, visit your repo's landing page and select "manage topics."