Skip to content

🚀Welcome to the H.A.R.E. Mars Rover project, where we've unleashed the power of Haskell monads to chart precise paths across the Martian landscape 🗺️, while our disk rotation wizardry ensures data integrity even in the harshest conditions. From chunking files for floppy disk storage to dynamic track allocation, we're redefining space exploration.

Notifications You must be signed in to change notification settings

ChasingTheDream369/Location-finder-and-TortOS-Upgrade-for-H.A.R.E-Mars-Rover

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 

Repository files navigation

H.A.R.E. Mars Rover: Location Finder and TortOS Upgrade 🚀

Welcome to the H.A.R.E. Mars Rover project, where innovation meets exploration! We've ventured beyond the Earth's limits to bring you our Location Finder and the TortOS Upgrade, two groundbreaking feats of technology.

Mars Rover

Summary

•Implemented a Path finder for the H.A.R.E Mars Rover by creating a wellformedness function with a Path extender in Haskell and appended it by creating a rotating function that simulates the effect of the rotation of the hard disk to copy the elements to a Floppy disk using Haskell Constructors and then implemented a challenging encoding scheme to make sure that disk remains decodable under rotations.

• Followed it by writing a monadic code using State, Maybe, custom monads and functors to divide the File into Chunks and allocting each chunk to a unique track number captivatingly followed by writing a monadic code to move the track to a given number with further facilitating a challenging loading and saving File system functions on a floppy disk.

• Completed the task by implementing a humongous testing suite using property based testing and QuickCheck for Monadic Testing.

🌍 Explore the Red Planet

At H.A.R.E. (Haskell Advanced Robotics Exploration), we've harnessed the power of Haskell to navigate the Martian terrain with unmatched precision. Our Location Finder calculates optimal paths, adhering to Mars' unique challenges and constraints.

🤖 The TortOS Upgrade

We've revolutionized the rover's operating system, TortOS. Now, our rover operates flawlessly on Mars' challenging landscape. We've conquered the spinning disk dilemma, optimized file storage, and reimagined the file system hierarchy. Efficiency is our mantra.

🚀 Get Started

git clone https://github.com/YourUsername/Location-finder-and-TortOS-Upgrade-for-H.A.R.E-Mars-Rover.git
cd Location-finder-and-TortOS-Upgrade-for-H.A.R.E-Mars-Rover

🌠 Future Innovations

Our journey doesn't end here. We're committed to enhancing our rover's capabilities. Future upgrades may include AI-driven decision-making, advanced data analysis, and even more efficient disk management. The Red Planet holds endless possibilities.

🌌 Contributions Welcome

Passionate about space exploration and Haskell? Join us on this interplanetary adventure! Feel free to open issues, submit pull requests, or engage in discussions. Together, we'll push the boundaries of what's possible.

📄 License

This project is licensed under the MIT License. See the LICENSE file for details.

Embark on our mission to explore Mars! Together, we'll conquer the unknown. Follow us on Twitter and join our quest!

#Follow us on Twitter : @Shubhamjohar03

#View on GitHub : ChasingTheDream369

#Awesome Mars Rover

About

🚀Welcome to the H.A.R.E. Mars Rover project, where we've unleashed the power of Haskell monads to chart precise paths across the Martian landscape 🗺️, while our disk rotation wizardry ensures data integrity even in the harshest conditions. From chunking files for floppy disk storage to dynamic track allocation, we're redefining space exploration.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published