Arjun Vedantham
Arjun Vedantham
@zekiel Can this be closed?
Ok, great.
Yeah, that was something I was meaning to mention. Any chance that may be coming soon?
Yay redesign! :)
I think Yahentamitsi, the Fernandez IDEA Factory, and Johnson-Whittle Hall should be added since they do appear on the UMD Maps webpage. Other than those buildings, I think the API...
Needs to be updated with building 433 - the School of Public Policy building
Hi there, This project is quite old at this point - much of the code hasn't been touched in about 3 years and there have been significant revisions made to...
I'm also having this issue. For some reason this app is formatting the URL as something like `http://[base OSRM URL]/car/13.488062884599568,52.366528349999996;6.921776,50.9478473?overview=false&alternatives=true&steps=true&hints=`, but the `hints` parameter is just left blank and this...
I've never contributed to Nextcloud apps, but I have been looking for a feature just like this in the Tasks app. If there is any interest in developing this, I...
brief TODO: - [x] fix clang-format issues - [x] fix `AttributeOp` parsing - [ ] add Lean as a dependency for extraction of Hoare triple to the ITP