Computer Vision Neural Net Runner for iOS
☆37Jun 25, 2020Updated 5 years ago
Alternatives and similar repositories for net-runner-ios
Users that are interested in net-runner-ios are comparing it to the libraries listed below
Sorting:
- Tensor/IO for iOS, with support for on-device inference and training with TensorFlow and TensorFlow Lite☆31May 27, 2021Updated 4 years ago
- vim.wasm Jupyter Integration☆21Jul 20, 2019Updated 6 years ago
- Node.js server for Gardener open source oracle project☆30Jan 7, 2023Updated 3 years ago
- Este repositorio contiene el dataset para el entrenamiento de una CNN que clasifica 10 diferentes tipos de especies de aves☆13Oct 8, 2021Updated 4 years ago
- Overview☆11Mar 26, 2021Updated 4 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- Delivering AWS Projects☆15Jan 20, 2026Updated last month
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Golang API Wrapper☆11Dec 6, 2025Updated 2 months ago
- list watchers of all your projects in github.com☆10Oct 10, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Spring 2018 - 10.009 Digital World 1D Project☆42Jan 23, 2019Updated 7 years ago
- Corny jokes for the terminal☆11Sep 12, 2024Updated last year
- React-based web application for sepsis detection☆11Mar 10, 2019Updated 6 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated last month
- Cython library for random number generation☆10Jan 24, 2017Updated 9 years ago
- Memory allocation of map[int]interface{} vs map[int]struct{} (Golang benchmark)☆10Jan 25, 2021Updated 5 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- A quick webapp that determines if a picture is a chihuahua or a muffin.☆12Apr 16, 2016Updated 9 years ago
- Various packages and classes for LaTeX☆13Apr 14, 2023Updated 2 years ago
- Just an example I wrote for a tc ebpf classifier (cls_bpf)☆15May 3, 2021Updated 4 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- PIA - Starter Kit de una asistente personal (chatbot) usando Chatito y RasaNLU☆11Mar 23, 2018Updated 7 years ago
- Bundled installer for various Vamp plugins with redistributable licences, built and packaged for Windows, Mac, and Linux☆11Jul 31, 2024Updated last year
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago
- Repo for Capstone Project☆10Aug 12, 2015Updated 10 years ago
- Deep Reinforcement Learning - Implementations and Theory: A path to mastery☆12Nov 21, 2021Updated 4 years ago
- Deep learning image autoencoder that not depends on image resolution☆20Jan 20, 2018Updated 8 years ago
- Winter Break Collaboratory DS Boot Camp during the academic year of 2017-2018☆14Feb 12, 2018Updated 8 years ago
- Code samples for my 'Getting started and advancing with ReactJs' Workshop at Facebook Dev Circle.☆10May 15, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Node.js Lambda invocation, via S3 trigger, of AWS Rekognition for facial recognition.☆13Sep 13, 2018Updated 7 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Implements an IndieAuth (an identity layer on top of OAuth 2.0) client/authentication middleware.☆12Apr 26, 2020Updated 5 years ago