Suwadith / Robot-Maze-B-Machine
B-specification of a Robot moving around a simple Maze, using the B tools (Atelier B & ProB)
☆5Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Robot-Maze-B-Machine
- Computer science student starter pack is a repository which contains all the free and open source resources which can be helpful to any c…☆182Updated 2 years ago
- ✏️ Type Script Tutorial Sessions☆11Updated 6 years ago
- This is the Project by Team Missing Colon for the HackSRM3.0 2020.☆16Updated 3 years ago
- ☆23Updated 2 years ago
- An image upscaling and denoiser app☆175Updated last year
- An Automated Background Python bot that notifies you during your classes when your name is called or the keywords "present"/"attendance" …☆36Updated 3 years ago
- Decentralised Elections using Blockchain☆68Updated 5 years ago
- A webapp that converts voice input to handwritten docs and lets you save the file in pdf format.##MLH 2020.☆12Updated 3 years ago
- Join the GitHub Graduation Yearbook and "walk the stage" on June 5.☆1,371Updated last year
- Simple notebook to stream torrent files to Google Drive using Google Colab and python3.☆289Updated 2 years ago
- Please use the new-and-improved version that uses the Epic Games Desktop application instead of the web browser: https://github.com/Mason…☆262Updated 10 months ago
- Fetches and displays lyrics to currently playing song in Spotify, Tidal and VLC.☆343Updated 4 months ago
- ☆12Updated 2 years ago
- Collection of Algorithms and Data Structures☆61Updated last month
- Implementation of Image Style Transfer Using CNNs using Pytorch.☆19Updated 3 years ago
- FB-Mod☆386Updated 5 years ago
- Scans all videos in a directory and checks for integrity☆89Updated 4 months ago
- motivate - A simple script to print random motivational quotes. Highly influenced by linux command fortune.☆24Updated 3 years ago
- Python programs from basic to advance.☆12Updated 2 years ago
- Installing Hadoop and Spark on Linux for the Big Data course at PES University☆25Updated 2 years ago
- Contains all the notebooks made while preparing for TensorFlow Certification Exam☆13Updated 3 years ago
- This is the research product of the thesis manifold Learning of Latent Space Vectors in GAN for Image Synthesis. This has an application …☆54Updated last year
- Internal Hackathon - WebArch Club☆9Updated last year
- A smart program to convert digital document to hand-written document☆201Updated last year
- Beginner friendly repo for Hacktoberfest-2020. Feel free to contribute.☆14Updated 2 years ago
- This repository intends to provide a knowledgebase for interviews. Good luck all. ❤️☆15Updated 3 years ago
- Online education system☆9Updated 3 years ago
- Generates hashtags for Instagram posts. Upload your photo and it will suggest the relevant #hashtags for you.☆163Updated 2 years ago