#

clif

Here are 3 public repositories matching this topic...

pykaldi / pykaldi

A Python wrapper for Kaldi

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

Updated Aug 15, 2024
Python

py-typedlogic / py-typedlogic

Logic plus python types

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

Updated Nov 12, 2024
Python

carmenchui / macleod_py2

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

python backup tptp vampire clif macleod ladr

Updated Oct 13, 2022
Python

Improve this page

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

Curate this topic

Add this topic to your repo

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