Suwadith / Robot-Maze-B-MachineLinks
B-specification of a Robot moving around a simple Maze, using the B tools (Atelier B & ProB)
☆5Updated 4 years ago
Alternatives and similar repositories for Robot-Maze-B-Machine
Users that are interested in Robot-Maze-B-Machine are comparing it to the libraries listed below
Sorting:
- Play framework as a backend session (03 week session series) that I have conducted for the Informatics Institute of Technology L5 student…☆84Updated 4 years ago
- Computer science student starter pack is a repository which contains all the free and open source resources which can be helpful to any c…☆189Updated 2 years ago
- traiNNer: Deep learning framework for image and video super-resolution, restoration and image-to-image translation, for training and test…☆302Updated 2 years ago
- Join the GitHub Graduation Yearbook and "walk the stage" on June 5.☆1,359Updated last year
- ☆14Updated 4 years ago
- ✏️ Type Script Tutorial Sessions☆11Updated 6 years ago
- Code and Project repo for 7th sem DTU 2018☆14Updated 3 years ago
- The new FMD fork! Join our community on Discord!☆264Updated 4 years ago
- Toolkit for image processing☆94Updated 3 years ago
- Add a scanner and a metadata parser for japanesemediamanager/ShokoServer and Plex.tv☆35Updated last year
- FastDVDnet: A Very Fast Deep Video Denoising algorithm☆625Updated last year
- ☆10Updated 3 years ago
- Performing Super Resolution Image Reconstruction (Upscaling) with Convolutional Neural Networks☆34Updated 6 years ago
- A quick *.party downloader (Update, they changed the site root to .su works for kemono.su and coomer.su )☆115Updated last month
- Downloads albums in bulk☆320Updated 5 months ago
- ☆9Updated 5 years ago
- A modified version of the original ESRGAN test.py script with added features☆191Updated 2 years ago
- Randomly Exploring Computer Vision techniques to create eye catching art out of plain boring images!☆49Updated 4 years ago
- Scrapes off all content from a yiff.party page☆28Updated 4 years ago
- CLI bot for joining classes/meetings in Google Classroom.☆40Updated last year
- Image and video colorizer is package for automatic image and video colorization. Models are allready trained☆28Updated 10 months ago
- Ever dreamed of just swing your pen 🖋️ in the air and it actually draws on the screen...Well that is exactly Magic Pen🔮 does using Open…☆17Updated 4 years ago
- ☆25Updated 6 years ago
- an application to enhance video quality.☆13Updated 4 years ago
- 😴 Attends classes for you.☆201Updated 2 years ago
- ☆30Updated last year
- A python implementation of BRISQUE Image Quality Assessment☆240Updated 3 years ago
- PyTorch-based Super-Resolution and Restoration Image Processing Module for VapourSynth☆196Updated 4 months ago
- A Python script to download eTextbooks from Chegg.com☆25Updated 6 years ago
- ☆11Updated 4 years ago