I feel like every project I work on is a dream project, so long as I am learning.
While I was developing a REST API server I needed to hide some struct field values from the client if he was not allowed to see that part of the data. I was using an ORM library so I needed an easy way to create a filtered json response.
Let's say that you have a collections of words, call it a dictionary of known words, such as ["hello","good","rust"]. You also have a word, such as "hllo" and you want to find the closest match from the dictionary. This is the main functionality of this library.
This small utility just creates 10 random valid and not valid formula in propositional logic and then feed them to a formula prover (in my case it uses tableaux). I made it in order to check the correctness of my coursework and then made it open source so that my collegues could benefit from it.
I have created this library because I wanted to learn how an HTTP server works and how people make new ones. I have not created this with the aim of substituting Hyper or any other Rust HTTP library. It's mainly an educational project.
During my second year at UCL I have been working with two of my collegues, Janos and Marti, on SEAT. It's a system, that includes a Visual Studio Extension, whose aim is to simplify how programming exercises are done in University. Our project was good enough that we have been selected for the World Finals for the Imagine Cup in 2017!
Contributing is the essence of progress.