rekcurd-pythonProject for serving ML module. This is a gRPC micro-framework.
Stars: ✭ 47 (-40.51%)
meerkatFlexible data structures for complex machine learning datasets.
Stars: ✭ 115 (+45.57%)
Hacktoberfest-2k19Just add pull requests to this repo and stand a chance to win a limited edition Hacktoberfest T-shirt.
Stars: ✭ 33 (-58.23%)
S2ML-GeneratorsMultiple notebooks which allow the use of various machine learning methods to generate or modify multimedia content
Stars: ✭ 172 (+117.72%)
RE-VERBspeaker diarization system using an LSTM
Stars: ✭ 22 (-72.15%)
jovian-pyCollaboration platform for data science projects & Jupyter notebooks
Stars: ✭ 91 (+15.19%)
card-scanner-flutterA flutter package for Fast, Accurate and Secure Credit card & Debit card scanning
Stars: ✭ 82 (+3.8%)
k3ai-coreK3ai-core is the core library for the GO installer. Go installer will replace the current bash installer
Stars: ✭ 23 (-70.89%)
DevSoc21Official website for DEVSOC 21, our annual flagship hackathon.
Stars: ✭ 15 (-81.01%)
mindsdb-examplesExamples for usage of Mindsdb https://www.mindsdb.com/
Stars: ✭ 25 (-68.35%)
leetspeekOpen and collaborative content from leet hackers!
Stars: ✭ 11 (-86.08%)
kaggleKaggle solutions
Stars: ✭ 17 (-78.48%)
ostrichAn SMT Solver for string constraints
Stars: ✭ 18 (-77.22%)
gidtiBook: Gentle Introduction to Dependent Types with Idris
Stars: ✭ 70 (-11.39%)
lukaiLuk.ai Clients - Federated Machine Learning for Everyone!
Stars: ✭ 20 (-74.68%)
ML-For-Beginners12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all
Stars: ✭ 40,023 (+50562.03%)
industrial-ml-datasetsA curated list of datasets, publically available for machine learning research in the area of manufacturing
Stars: ✭ 45 (-43.04%)
GaussianNBGaussian Naive Bayes (GaussianNB) classifier
Stars: ✭ 17 (-78.48%)
osdg-toolOSDG is an open-source tool that maps and connects activities to the UN Sustainable Development Goals (SDGs) by identifying SDG-relevant content in any text. The tool is available online at www.osdg.ai. API access available for research purposes.
Stars: ✭ 22 (-72.15%)
incubator-liminalApache Liminals goal is to operationalise the machine learning process, allowing data scientists to quickly transition from a successful experiment to an automated pipeline of model training, validation, deployment and inference in production. Liminal provides a Domain Specific Language to build ML workflows on top of Apache Airflow.
Stars: ✭ 117 (+48.1%)
sharpmaskTensorFlow implementation of DeepMask and SharpMask
Stars: ✭ 31 (-60.76%)
metaflowbotSlack bot for monitoring your Metaflow flows!
Stars: ✭ 22 (-72.15%)
rs datasetsTool for autodownloading recommendation systems datasets
Stars: ✭ 22 (-72.15%)
mindsdb nativeMachine Learning in one line of code
Stars: ✭ 34 (-56.96%)
TFLite-Android-HelperTensorFlow Lite Helper for Android to help getting started with TesnorFlow.
Stars: ✭ 25 (-68.35%)
pyproverResolution theorem proving for predicate logic in pure Python.
Stars: ✭ 71 (-10.13%)
mindsdb serverMindsDB server allows you to consume and expose MindsDB workflows, through http.
Stars: ✭ 3 (-96.2%)
YOLOv4MLNetUse the YOLO v4 and v5 (ONNX) models for object detection in C# using ML.Net
Stars: ✭ 61 (-22.78%)
FstarA Proof-oriented Programming Language
Stars: ✭ 2,171 (+2648.1%)
pmml4s-sparkPMML scoring library for Spark as SparkML Transformer
Stars: ✭ 16 (-79.75%)
CoqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Stars: ✭ 3,566 (+4413.92%)
florFLOR: Fast Low-Overhead Recovery. FLOR lets you log ML training data post-hoc, with hindsight.
Stars: ✭ 123 (+55.7%)
LinearOneLinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Stars: ✭ 16 (-79.75%)
hierarchical-dnn-interpretationsUsing / reproducing ACD from the paper "Hierarchical interpretations for neural network predictions" 🧠 (ICLR 2019)
Stars: ✭ 110 (+39.24%)
archsatA proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Stars: ✭ 20 (-74.68%)
aws-ai-ml-workshop-krA collection of localized (Korean) AWS AI/ML workshop materials for hands-on labs.
Stars: ✭ 65 (-17.72%)
TensorflowAn Open Source Machine Learning Framework for Everyone
Stars: ✭ 161,335 (+204121.52%)
deep-significanceEnabling easy statistical significance testing for deep neural networks.
Stars: ✭ 266 (+236.71%)
Ailearners机器学习、深度学习、自然语言处理、计算机视觉、各种算法等AI领域相关技术的路线、教程、干货分享。笔记有:机器学习实战、剑指Offer、cs231n、cs131、吴恩达机器学习、cs224n、python自然语言处理实战
Stars: ✭ 234 (+196.2%)
kglibTypeDB-ML is the Machine Learning integrations library for TypeDB
Stars: ✭ 523 (+562.03%)
DarkonToolkit to Hack Your Deep Learning Models
Stars: ✭ 231 (+192.41%)
neural inverse knittingCode for Neural Inverse Knitting: From Images to Manufacturing Instructions
Stars: ✭ 30 (-62.03%)
ScoperFuzzy and semantic search for captioned YouTube videos.
Stars: ✭ 225 (+184.81%)
ml-lpiMaterials for ML course at Lebedev Physical Institute
Stars: ✭ 31 (-60.76%)
cliPolyaxon Core Client & CLI to streamline MLOps
Stars: ✭ 18 (-77.22%)
SynapseMLSimple and Distributed Machine Learning
Stars: ✭ 3,355 (+4146.84%)
oomstoreLightweight and Fast Feature Store Powered by Go (and Rust).
Stars: ✭ 76 (-3.8%)
fixAllows you to use OpenAI Codex to fix errors in the command line.
Stars: ✭ 72 (-8.86%)
zpySynthetic data for computer vision. An open source toolkit using Blender and Python.
Stars: ✭ 251 (+217.72%)
Leo-IIIAn Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Stars: ✭ 29 (-63.29%)