209 Open source projects that are alternatives of or similar to Lomrf

Digital circuit learning platform

Pytorch-Named-Entity-Recognition-with-BERT

Noisy network measurement with stan

A scalable inference server for models optimized with OpenVINO™

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Logic Circuits from the Juice library

A REST API for Caffe using Docker and Go

Fitch style proof constructor

High-efficiency floating-point neural network inference operators for mobile, server, and Web

Pyinfer is a model agnostic tool for ML developers and researchers to benchmark the inference statistics for machine learning models or functions.

Train a state-of-the-art yolov3 object detector from scratch!

🏎️ Accelerate training and inference of 🤗 Transformers with easy to use hardware optimization tools

Create a smart video application using the Intel Distribution of OpenVINO toolkit. The toolkit uses models and inference to run single-class object detection.

A free, open source, online digital circuit/logic designer.

Run TensorFlow models in C++ without installation and without Bazel

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

The challenge projects for Inferencing machine learning models on iOS

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.

Snips NLU rust implementation

This is a repository for a semantic segmentation inference API using the OpenVINO toolkit

Serve your Rubix ML models in production with scalable stand-alone model inference servers.

Write fully type inferred Vuex modules

Blind WAF identification tool

INACTIVE: Move your mouse, generate code from flow chart

💎1MB lightweight face detection model (1MB轻量级人脸检测模型)

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

This is a repository for an object detection inference API using the Tensorflow framework.

O(N log N)-space IPC solver in OCaml

The benchmark of ncnn that is a high-performance neural network inference framework optimized for the mobile platform

The purpose of this project is to apply mediapipe to more AI chips.

This tutorial series provides step-by-step instructions for how to perform human pose estimation in Unity with the Barracuda inference library.

Lua Language Server coded by Lua

Сompresssing First Order Motion Model for Image Animation to enable its real-time inference on mobile devices

Documentation, models and code relating to the 3rd edition of the textbook Stochastic Modelling for Systems Biology

🎨 A complete Pattern Matching library for TypeScript, with smart type inference.

Runtime type system for IO decoding/encoding

A scalable, high-performance serving system for federated learning models

Model finder for higher-order logic

An ICE-based predicate synthesizer for Horn clauses.

Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.

Embedded and mobile deep learning research resources

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

📚Solutions to Language, Proof and Logic (2nd Edition)

📚 🔬 PIA - Protein Inference Algorithms

An implementation of MTCNN Face detector using OpenCV's DNN module

🔮 Use TensorFlow models in Go to evaluate Images (and more soon!)

Serve scikit-learn, XGBoost, TensorFlow, and PyTorch models with AWS Lambda container images support.

This repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.

LightSeq: A High Performance Inference Library for Sequence Processing and Generation

Companion code for the Unity Style Transfer blog post, showcasing realtime style transfer using Barracuda.

Tensorflow C++ examples for Visual Studio. Features Pose Estimation and various techniques to utilize the Tensorflow C++ interface

Build an application that alerts you when someone enters a restricted area. Learn how to use models for multiclass object detection.

Sample code for the NIPS paper "Scalable Variational Inference for Dynamical Systems"

Detect various irregularities of a product as it moves along a conveyor belt.

Deploy a ML inference service on a budget in less than 10 lines of code.

Ordinal Common-sense Inference

go binding for mxnet c_predict_api to do inference with pre-trained model

Final Year Masters Project: modal logic solver tableaux

Hello AI World guide to deploying deep-learning inference networks and deep vision primitives with TensorRT and NVIDIA Jetson.