Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / julianmendez/soda issues and pull requests
#9 - Update BibTeX file
Pull Request -
State: closed - Opened by julianmendez 5 months ago
#8 - Update documentation
Pull Request -
State: closed - Opened by julianmendez 5 months ago
#7 - 20 improvement in Lean and Coq translations
Pull Request -
State: closed - Opened by julianmendez 10 months ago
#6 - 20 introduction of tiles
Pull Request -
State: closed - Opened by julianmendez 11 months ago
#5 - Tiles for scoring scenarios
Pull Request -
State: closed - Opened by julianmendez about 1 year ago
#4 - Introduction of tiles
Pull Request -
State: closed - Opened by julianmendez about 1 year ago
#3 - 19 improved translators
Pull Request -
State: closed - Opened by julianmendez over 1 year ago
#2 - 18 improved documentation
Pull Request -
State: closed - Opened by julianmendez over 1 year ago
#1 - 17 translation of packages to single files
Pull Request -
State: closed - Opened by julianmendez over 1 year ago