☆12Apr 16, 2018Updated 7 years ago
Alternatives and similar repositories for PreprocessingBenchmarkDatasets
Users that are interested in PreprocessingBenchmarkDatasets are comparing it to the libraries listed below
Sorting:
- Personal fork of this hard to find ROS package.☆13Dec 6, 2018Updated 7 years ago
- Master repo for all Udacity Sensor Fusion Engineering Projects☆32Dec 14, 2019Updated 6 years ago
- Object detection with GHT☆10Jun 5, 2017Updated 8 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 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☆12Mar 31, 2018Updated 7 years ago
- Disable the Force Stop & Uninstall button in Manage Application using Device Administration in Android.☆11Feb 12, 2014Updated 12 years ago
- Hierarchical Image Representation☆10Dec 9, 2023Updated 2 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- This repository contains part of the code used to make the images visible in the article "How does an AI Imagine the Universe?" published…☆12Oct 7, 2021Updated 4 years ago
- Library for interfacing with SICK LMS1xx lidar.☆13May 14, 2012Updated 13 years ago
- ☆12Feb 15, 2022Updated 4 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- The notebook system with its regulations and templates.☆10Nov 24, 2019Updated 6 years ago
- A Memento library for Knockout JS☆21Nov 18, 2014Updated 11 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- some wrappers to work with the coco API☆11Feb 16, 2021Updated 5 years ago
- [ICLR 2025] Official implementation of "Expand and Compress: Exploring Tuning Principles for Continual Spatio-Temporal Graph Forecasting"☆24Oct 30, 2025Updated 4 months ago
- SketchLattice @ICCV21☆10Mar 28, 2022Updated 3 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☆12Feb 3, 2026Updated 3 weeks ago
- Quickly stub JSON resources, test with the same fixture data across projects, etc.☆12Mar 26, 2019Updated 6 years ago
- Interface with SICK LMS-1xx series LIDAR sensors with openFrameworks☆20Aug 19, 2013Updated 12 years ago
- An ecosystem to facilitate real-time remote viewing of ultrasound images (or any other livestreaming application)☆11Feb 12, 2023Updated 3 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years 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
- This can be used as boilerplate for multi-step form using ANT Design for ReactJS☆12Jan 4, 2023Updated 3 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Official Pytorch Implementation for the paper 'SUPER-ADAM: Faster and Universal Framework of Adaptive Gradients'☆17Jan 12, 2022Updated 4 years ago
- ☆12Mar 26, 2022Updated 3 years ago
- vs2013，opencv2.4.9☆10Jul 3, 2017Updated 8 years ago
- ☆11Nov 13, 2016Updated 9 years ago
- In this project, the simulation of simple digital hearing aid was developed using MATLAB programming language. The implementation of this…☆10Nov 11, 2021Updated 4 years ago
- An Offline Wikipedia Dump Reader in Javascript that probably only works on Chrome☆19Dec 23, 2011Updated 14 years ago
- ☆14Aug 16, 2022Updated 3 years ago
- pyVision machine learning library☆14Aug 28, 2024Updated last year
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated last month
- A fast and efficient way to compute a differentiable bound on the singular values of convolution layers☆12Nov 22, 2019Updated 6 years ago
- ROS python API tutorials code cross-compilation☆11Jul 14, 2013Updated 12 years ago
- Open-source HMI (Human Machine Interface) software written in C++ and QML☆16Oct 17, 2025Updated 4 months ago