GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → ryukinix → lisp-inference

ryukinix / lisp-inference

Licence: BSD-3-Clause license
An Inference Engine based on Propositional Calculus written in Common Lisp

Programming Languages

common lisp
692 projects
Makefile
30231 projects
Dockerfile
14818 projects

Labels

propositional-logictruth-tableinference-enginepropositional-calculusinference-ruleslisp-inference

Projects that are alternatives of or similar to lisp-inference

truth-table-generator
truth-table-generator is a tool that allows to generate a truth table
Stars: ✭ 47 (+30.56%)
Mutual labels:  truth-table
binary-decision-diagram
A library to create, minimize and optimize binary decision diagrams
Stars: ✭ 20 (-44.44%)
Mutual labels:  truth-table
r2inference
RidgeRun Inference Framework
Stars: ✭ 22 (-38.89%)
Mutual labels:  inference-engine
tensorrt-ssd-easy
No description or website provided.
Stars: ✭ 32 (-11.11%)
Mutual labels:  inference-engine
pomagma
An inference engine for extensional untyped λ-calculus
Stars: ✭ 15 (-58.33%)
Mutual labels:  inference-engine
planer
Powerful Light Artificial NEuRon inference framework for CNN
Stars: ✭ 52 (+44.44%)
Mutual labels:  inference-engine
HoloClean-Legacy-deprecated
A Machine Learning System for Data Enrichment.
Stars: ✭ 75 (+108.33%)
Mutual labels:  inference-engine
FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Stars: ✭ 31 (-13.89%)
Mutual labels:  propositional-logic
Openvino
OpenVINO™ Toolkit repository
Stars: ✭ 2,858 (+7838.89%)
Mutual labels:  inference-engine
gaze-estimation-with-laser-sparking
Deep learning based gaze estimation demo with a fun feature :-)
Stars: ✭ 32 (-11.11%)
Mutual labels:  inference-engine
Torsten
library of C++ functions that support applications of Stan in Pharmacometrics
Stars: ✭ 38 (+5.56%)
Mutual labels:  inference-engine
daisykit
Daisykit is an easy AI toolkit for software engineers to integrate pretrained AI models and pipelines into their projects. - with NCNN, OpenCV, Python wrappers
Stars: ✭ 22 (-38.89%)
Mutual labels:  inference-engine
BMW-IntelOpenVINO-Detection-Inference-API
This is a repository for a No-Code object detection inference API using the OpenVINO. It's supported on both Windows and Linux Operating systems.
Stars: ✭ 66 (+83.33%)
Mutual labels:  inference-engine
exper
experimental rule-based programming formalism (under construction)
Stars: ✭ 14 (-61.11%)
Mutual labels:  inference-engine
opencv-python-inference-engine
Wrapper package for OpenCV with Inference Engine python bindings.
Stars: ✭ 32 (-11.11%)
Mutual labels:  inference-engine
IDVerification
"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.
Stars: ✭ 44 (+22.22%)
Mutual labels:  inference-engine

Build Status

Lisp Inference

A non-full featured Lisp Inference Engine because I didn't implemented the reductor yet. The algorithm commonly used it's the Wang Algorithm, maybe can you help me?

screenshot

Usage

The main usage for now it's using as a truth-table generator by using its command line interface. You can download the last release and use as showed in the last picture as following:

ros install ryukinix/lisp-inference
~/.roswell/bin/inference

You need ros installed: Roswell

License

BSD

Author

Manoel Vilela

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].