Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / uhub/awesome-coq issues and pull requests

#10 - Added coq_jupyter

Pull Request - State: closed - Opened by EugeneLoy over 5 years ago

#9 - Add nameless programming libraries

Pull Request - State: closed - Opened by JoeyEremondi about 6 years ago

#8 - Add Mathematical Components

Issue - State: closed - Opened by XVilka about 6 years ago - 4 comments

#7 - Import information

Issue - State: open - Opened by XVilka about 6 years ago

#6 - Add CertiKOS

Pull Request - State: open - Opened by sanxiyn over 7 years ago - 1 comment

#5 - Add Mathematical Components, Bedrock, Cosa

Pull Request - State: closed - Opened by sanxiyn over 7 years ago

#4 - Add Cosette

Pull Request - State: closed - Opened by sanxiyn over 7 years ago

#3 - Remove Software Foundations solutions, etc.

Issue - State: closed - Opened by langston-barrett over 7 years ago - 2 comments

#2 - fix markdown title format

Pull Request - State: closed - Opened by chadluo over 7 years ago

#1 - Add Coquille

Pull Request - State: closed - Opened by smondet almost 9 years ago