☆12Apr 16, 2018Updated 8 years ago
Alternatives and similar repositories for PreprocessingBenchmarkDatasets
Users that are interested in PreprocessingBenchmarkDatasets are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Detect the mood of shoppers as they look at a retail or kiosk display.☆12Jan 3, 2023Updated 3 years ago
- Personal fork of this hard to find ROS package.☆13Dec 6, 2018Updated 7 years ago
- My (almost) solution to the Udacity DiDi Challenge (ROS/PCL/LiDAR/Keras)☆22Jun 1, 2017Updated 9 years ago
- BlockCIrculantRNN (LSTM and GRU) using TensorFlow☆14Oct 30, 2018Updated 7 years ago
- Master repo for all Udacity Sensor Fusion Engineering Projects☆32Dec 14, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Generic Task Manager for ROS☆38Feb 20, 2026Updated 4 months ago
- My implementation of Fully Convolutional Neural Networks in Keras☆15Apr 9, 2017Updated 9 years ago
- An Offline Wikipedia Dump Reader in Javascript that probably only works on Chrome☆19Dec 23, 2011Updated 14 years ago
- Autonomous Delivery Robot☆12Jul 30, 2023Updated 2 years ago
- A proof-of-concept for using WebSockets to send real-time webcam data to a client. Runs at ~0.1s latency.☆15Mar 7, 2019Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Generator of binary installers for libraries built by vcpkg, alpha version.☆11Aug 5, 2021Updated 4 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated 3 months ago
- Leverage the Intel® Distribution of OpenVINO™ Toolkit to fast-track development of high-performance computer vision and deep learning inf…☆10Jul 28, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Hierarchical Image Representation☆10Dec 9, 2023Updated 2 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Jun 30, 2024Updated last year
- egraph <-> json☆17Dec 29, 2025Updated 6 months ago
- A library for near real time processing of images with a focus on industrial applications.☆13Feb 19, 2020Updated 6 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Companion notebooks for blogs/tutorials on ML4Devs website.☆18Updated this week
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- A benchmark dataset for deep learning-based tree detection: VHRTrees☆30Feb 27, 2025Updated last year
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Brain Tumor Segmentation dataset using TensorFlow☆16Oct 11, 2022Updated 3 years ago
- This can be used as boilerplate for multi-step form using ANT Design for ReactJS☆12Jan 4, 2023Updated 3 years ago
- ☆15Feb 21, 2017Updated 9 years ago
- A 3D scanning system built from the ground up!☆12Dec 17, 2020Updated 5 years ago
- Omnidirectional wheeled robot powered by Arduino Mega, Raspberry PI with ROS☆13Oct 28, 2020Updated 5 years ago
- scan moving truck with 2d Lidar LMS111, extract 3d model of empty truck and filled truck to caclate volume of sand/soil/clay☆14Mar 31, 2018Updated 8 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago
- ☆16Jul 3, 2023Updated 2 years ago
- Custom gazebo_ros_control simulation plugin that can add latency to communication between ros_control and gazebo☆16Mar 8, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.☆14Jun 28, 2021Updated 5 years ago
- The project consists of a image processing application that is using distributed processors (MPI). The development language is C/C++ with…☆13Mar 26, 2012Updated 14 years ago
- ☆71Jan 27, 2020Updated 6 years ago
- A team of researchers from Qatar University, Doha, Qatar and the University of Dhaka, Bangladesh along with their collaborators from Paki…☆16Apr 26, 2020Updated 6 years ago
- Implementation of the segmentation task for ISIC 2017. https://arxiv.org/abs/1703.04819☆20Apr 6, 2017Updated 9 years ago