Examples and code demonstrations for the Image Processing module at Durham University
☆40Feb 7, 2024Updated 2 years ago
Alternatives and similar repositories for ip-python-opencv
Users that are interested in ip-python-opencv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BipedalWalker & BipedalWalkerHardcore solved by SAC☆27Oct 28, 2023Updated 2 years ago
- ☆26Nov 1, 2021Updated 4 years ago
- Author's PyTorch implementation of LAP and PAL with TD3 and DDQN☆40Dec 7, 2021Updated 4 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- 集群算法olfati saber论文仿真☆22Dec 6, 2022Updated 3 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.
- Heuristic Search vs. Learning. "Distributed Heuristic Multi-Agent Path Finding with Communication" reproduced, trained & benchmarked with…☆28Dec 27, 2022Updated 3 years ago
- Simulation of a swarm of robots with range-based relative localization☆41Jun 5, 2021Updated 4 years ago
- A pytorch implementation of MCDO(Monte-Carlo Dropout methods)☆58Jan 1, 2019Updated 7 years ago
- OpenAI Gym interfaces for multi-robot flocking problems☆40May 1, 2021Updated 5 years ago
- Solve BipedalWalkerHardcore-v2 with TD3☆99May 21, 2023Updated 2 years ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆90Apr 17, 2026Updated 2 weeks ago
- Twin Delayed DDPG (TD3) PyTorch solution for Roboschool and Box2d environment☆107Jun 7, 2019Updated 6 years ago
- [IROS 2024] EPH: Ensembling Prioritized Hybrid Policies for Multi-agent Pathfinding☆60Oct 8, 2024Updated last year
- offical code of paper 'SCRIMP: Scalable Communication for Reinforcement- and Imitation-Learning-Based Multi-Agent Pathfinding'☆59Sep 12, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆114Apr 5, 2026Updated last month
- Distributed Heuristic Multi-Agent Path Finding with Communication - ICRA 2021☆78Nov 12, 2021Updated 4 years ago
- A continuous action space version of A3C LSTM in pytorch plus A3G design☆259Oct 11, 2024Updated last year
- A verifier for automated and interactive proofs about transition systems.☆228Apr 17, 2026Updated 2 weeks ago
- The implementation of LSTM-TD3.☆88Feb 14, 2023Updated 3 years ago
- PyTorch implementation of Soft-Actor-Critic and Prioritized Experience Replay (PER) + Emphasizing Recent Experience (ERE) + Munchausen RL…☆295Feb 24, 2021Updated 5 years ago
- 真-极简强化学习(基于torch的强化学习框架pfrl)☆101Mar 21, 2022Updated 4 years ago
- pytorch version of neural collaborative filtering☆512Jun 23, 2024Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆201Apr 17, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple REPL for Lean 4, returning information about errors and sorries.☆199Apr 18, 2026Updated 2 weeks ago
- PyTorch implementation of AutoAugment.☆161Jul 11, 2020Updated 5 years ago
- A proof assistant for higher-dimensional type theory☆253Apr 19, 2026Updated 2 weeks ago
- Training & evaluation library for text-based neural re-ranking and dense retrieval models built with PyTorch☆265Jan 27, 2023Updated 3 years ago
- A goal-driven autonomous exploration through deep reinforcement learning (ICRA 2022) system that combines reactive and planned robot navi…☆190Feb 5, 2022Updated 4 years ago
- This repository contains most of pytorch implementation based classic deep reinforcement learning algorithms, including - DQN, DDQN, Duel…☆694Dec 18, 2025Updated 4 months ago
- [RA-Letter 2022] Reinforcement Learned Distributed Multi-Robot Navigation with Reciprocal Velocity Obstacle Shaped Rewards☆287Apr 28, 2025Updated last year
- ☆398Feb 13, 2023Updated 3 years ago
- Scientific computing in Lean 4☆496Feb 18, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Official Implementation for "TEXTure: Text-Guided Texturing of 3D Shapes"☆798Dec 8, 2023Updated 2 years ago
- Implementation of the Deep Deterministic Policy Gradient (DDPG) using PyTorch☆635Aug 13, 2018Updated 7 years ago
- ☆617Oct 31, 2024Updated last year
- Your PyTorch AI Factory - Flash enables you to easily configure and run complex AI recipes for over 15 tasks across 7 data domains☆1,729Oct 8, 2023Updated 2 years ago
- Pytorch implementation of Diffusion Models (https://arxiv.org/pdf/2006.11239.pdf)☆1,443Sep 7, 2023Updated 2 years ago
- Machine learning metrics for distributed, scalable PyTorch applications.☆2,433Apr 21, 2026Updated 2 weeks ago
- PyTorch extensions for fast R&D prototyping and Kaggle farming☆1,572Oct 9, 2025Updated 6 months ago