AOSSIE
View More
Category
End user applications
Years
2017
2018
2019
2020
2021
2022
2023
2024
Technologies
scala
android/ios
html
css
javascript
automated reasoning
xcode
isabelle proof assistant
browser extension
android
ios
python
swift
kotlin
machine learning
Blockchain
flutter
Topics
environment
electronic voting
natural language processing
logic
philosophy
machine learning
social science
web
mobile
backend
Past Projects
2017
2018
2019
2020
2021
2022
2023
2024
